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

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