[PPL-devel] [Fwd: OCaml interface to PPL]

[Roberto Bagnara]

-------- Original Message --------
Subject: OCaml interface to PPL
Date: Sat, 9 Jun 2007 18:35:10 -0400
From: Hormoz Zarnani <hzarnani at cs.cmu.edu>
To: Roberto Bagnara <bagnara at cs.unipr.it>

Dr. Bagnara,

I am Hormoz Zarnani, a second-year student in the Computer Science PhD
program at Carnegie Mellon University.  I work in the area of formal
methods.  My advisor is Dr. Randall Bryant.

I am implementing a decision procedure in which I need to solve systems
of linear inequalities.  I was looking for an external library for this
task, and I think that the PPL suits my needs very well.  The language I
am using to implement the decision procedure is OCaml.

According to the PPL web site, there is an OCaml interface to the PPL.
However, I did not find any information about that in the documentation.
I was hoping that I could figure out how to use the OCaml interface by
looking at the source code.  So I downloaded the source, but I only saw
interfaces for C and Prolog under the ppl-0.9/interfaces/ directory.

How can I obtain the OCaml interface to PPL?

Thanks in advance.

Regards,
Hormoz

P.S. if I was supposed to contact somebody else about this, I apologize.
I did not see a "contacts" section on the PPL web site.  I only saw a
link to your hope page, thus I thought I needed to contact you.


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it