English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2007-05-02 (14:55)
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 
> (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