[PPL-devel] Parma Polyhedra Library

[Roberto Bagnara]

On 03/28/13 09:09, varza victor wrote:
> My question is about this paper "The Parma Polyhedra Library: Toward
> a Complete Set of Numerical Abstractions for the Analysis and
> Verification"
> (http://bugseng.com/products/ppl/documentation/BagnaraHZ08SCP.pdf)which
> describes a method to find min and max for a linear programming
> problem. The author used LP_Problem class which I haven't found in
> the source code of the PPL. He also suggest (page 13) that the LP
> Solver is only in the CVS repository.

Hi Victor,

see the NEWS for version 0.10 (released on November 4, 2008):

o  The class LP_Problem has been renamed MIP_Problem and now supports
   the solution of Mixed Integer (Linear) Programming problems.
   Support has been added for the incremental solution of MIP
   problems: it is now possible to add new space dimensions or new
   constraints to the feasible region, as well as change the objective
   function and the optimization mode, while still exploiting some of
   the computational work done before these changes.  Support has also
   been added to change control parameters for the pricing method.
   This allows a choice between the steepest edge pricing method,
   either implemented with floating point numbers (default) or with
   integer coefficients, and the textbook pricing method.

Kind regards,

   Roberto

> 2013/3/28 Roberto Bagnara <bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>>
> 
>     On 03/27/13 18:39, varza victor wrote:
>     > 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
> 
>     Dear Victor,
> 
>     I am not sure I understand.  The PPL Git repository (and any source
>     distribution for that matter) is packed with tests and sample code.
>     The manual contains lots of examples.  And you can download entire
>     applications using the PPL following links from
> 
>       http://bugseng.com/products/ppl/applications
> 
>     Kind regards,
> 
>        Roberto
> 
>     --
>          Prof. Roberto Bagnara
> 
>     Applied Formal Methods Laboratory - University of Parma, Italy
>     mailto:bagnara at cs.unipr.it <mailto:bagnara at cs.unipr.it>
>                                   BUGSENG srl - http://bugseng.com
>                                   mailto:roberto.bagnara at bugseng.com <mailto:roberto.bagnara at bugseng.com>
> 
> 
> 
> 
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
> 


-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com