Pietro Abate homepage

Release early, release often !

I've been working with Falvio Lerda to update the ocaml binding to minisat2.

The biggest change from Fabio's original version is the object oriented interface (mimicking the library c++ interface) and the addition of a couple of bindings.

You can find the git repo here.