-------- 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. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it