[PPL-devel] [Fwd: Re: [Caml-list] How to use C++ library iin OCaml?]
bagnara at cs.unipr.it
Wed May 2 22:44:24 CEST 2007
-------- Original Message --------
Subject: Re: [Caml-list] How to use C++ library iin OCaml?
Date: Wed, 02 May 2007 13:24:38 +0100
From: guanhua he <guanhua.he at durham.ac.uk>
To: Richard Jones <rich at annexia.org>
CC: caml-list at yquem.inria.fr
References: <20070502084159.137F8BC82 at yquem.inria.fr> <46385CA3.4070101 at dur.ac.uk> <20070502115517.GA27473 at furbychan.cocan.org>
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?
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?
Caml-list mailing list. Subscription management:
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
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