zkincaid/ocaml-buddy

binding for the BDD buddy library

Ocaml bindings for the buddy BDD library 
http://buddy.wiki.sourceforge.net/

Mon Apr 12 2010 Pietro Abate <pietro.abate@pps.jussieu.fr>