Pietro Abate homepage

I've taken some time off to finish the ocaml bindings to Buddy BDD.

UPDATE

BDDs or Binary Decision Diagrams are a method of representing boolean expressions. I searched the net for available BDD libraries (I've considered different BDD variants in my research). In particular I focused on OCaml implementations. My conclusion is that as today there is no viable native implementation of an efficient bdd library.