[PPL-devel] Parma Polyhedra Library

[varza victor]

Hi,
My name is Victor Varza, I'm student at Politehnica University of Bucharest
and I working at a research about actual fuzzing testing tools and methods.I
want to use your library (PPL) to generate some test case from a given
constraint sistem. I have searched in your papers to find how to do this
but I haven't find something that could help me. I'm working in C++ and I
need some example to generate data for a poliedrom. Could you please help
me in this way?


Best regards,
VIctor

T
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20130327/9bde29d6/attachment.htm>