-------- Original Message -------- Subject: OCaml interface to PPL Date: Sat, 9 Jun 2007 18:35:10 -0400 From: Hormoz Zarnani hzarnani@cs.cmu.edu To: Roberto Bagnara bagnara@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.