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
-------- Original Message --------
Subject: RE: [Caml-list] How to use C++ library iin OCaml?
Date: Wed, 2 May 2007 14:15:26 +0100
From: Josh Berdine <berdine(a)dcs.qmul.ac.uk>
To: <caml-list(a)yquem.inria.fr>
References: <20070502084159.137F8BC82(a)yquem.inria.fr> <46385CA3.4070101(a)dur.ac.uk> <20070502115517.GA27473(a)furbychan.cocan.org> <46388306.60602(a)dur.ac.uk>
Hi Guan,
If you're interested in the PPL, I'd keep an eye on APRON
(http://apron.cri.ensmp.fr/library/) which is advertised as soon to have a
PPL interface.
Cheers, Josh
-----Original Message-----
From: caml-list-bounces(a)yquem.inria.fr
[mailto:caml-list-bounces@yquem.inria.fr] On Behalf Of guanhua he
Sent: Wednesday, May 02, 2007 1:25 PM
To: Richard Jones
Cc: caml-list(a)yquem.inria.fr
Subject: Re: [Caml-list] How to use C++ library iin OCaml?
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.
>
>
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
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
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
-------- 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(a)durham.ac.uk>
To: Richard Jones <rich(a)annexia.org>
CC: caml-list(a)yquem.inria.fr
References: <20070502084159.137F8BC82(a)yquem.inria.fr> <46385CA3.4070101(a)dur.ac.uk> <20070502115517.GA27473(a)furbychan.cocan.org>
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.
>
>
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
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
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
