Hi, Rich,

Thanks for your reply.

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?

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

Thanks
  Guan


Richard Jones wrote:
> On Wed, May 02, 2007 at 10:40:51AM +0100, guanhua he wrote:
>   
>> Does anyone know can I use C++ library in OCaml and how?
>>     
>
> Read: http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html
>
> You'll have problems with the C++ name mangling, and it'll be tricky
> if the library uses lots of templates, exceptions or even complicated
> object features, but in principle it should be possible.
>
> Which library?
>
> Rich.
>
>