[PPL-devel] [Caml-list] How to use C++ library iin OCaml?
bagnara at cs.unipr.it
Wed May 2 22:55:27 CEST 2007
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
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,
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel