Johann Eder, University of Vienna, Austria
Michael Hicks, University of Maryland, College park, USA (co-organizer)
Manuel Oriol, University of York, UK
George Papastefanatos, National Technical University of Athens, Greece
Paolo Papotti, Università Roma Tre, Italy
Jason Nieh, Columbia University, USA
I've just been playing with using camelia on Windows, since some students in my
class are using it.
My problem is that I can't figure out how to configure Camelia to run a
non-Cygwin Ocaml. My installation puts the executables in C:\Program
Files\Objective Caml\bin, and I can redirect the
Another option is STP. It's written in C++ I think, with OCaml binders.
http://people.csail.mit.edu/vganesh/STP_files/stp.html
-Mike
On Mar 9, 2009, at 1:09 AM, Grundy, Jim D wrote:
You might also want to look at the Decision Procedure Toolkit (DPT):
http://dpt.sourceforge.net/
DPT is an