Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
How to use C++ library iin OCaml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Roberto Bagnara <bagnara@c...>
Subject: Re: [Caml-list] How to use C++ library iin OCaml?
guanhua he wrote:
> I'd like to use the Parma Polyhedra Library 
> ( 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( 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