Adding C++/Haskell implementation of BDDs.