[PPL-devel] [Caml-list] How to use C++ library iin OCaml?

[Roberto Bagnara]

guanhua he wrote:
> I'd like to use the Parma Polyhedra Library 
> (http://www.cs.unipr.it/ppl/) to solve the convex-hull and widening 
> problems. Does it work in ocaml? Or any other good tools for ocaml?

The CVS version of the PPL (what will become PPL 0.10) has an OCaml
interface (in addition to C++, C, Prolog and Java interfaces).
This version is not formally released yet, but you can obtain it
by following the instructions at

     http://www.cs.unipr.it/ppl/Download/cvs#read-only-access

The OCaml interface has not been heavily tested yet, but we believe
it works OK.  In any case, we will provide all the assistance
you may need.

> BTW, does ocaml work with the  
> LP_solver(http://lpsolve.sourceforge.net/5.5/) library? Or is there any 
> good LP solver for ocaml?

The same version of the PPL features also a Mixed Linear/Integer Programming
solver based on exact arithmetic.  You can access it from all the interfaces,
including the OCaml interface.
Hope this helps,

      Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it