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@cs.unipr.it