On 20/08/2012, at 11:19 PM, Johannes Waldmann wrote: > Are there any Haskell bindings for BDD libraries > (reduced ordered binary decision diagrams)? > > E.g., it seems "buddy" is commonly used > http://packages.debian.org/squeeze/libbdd-dev > and it has an Ocaml binding.
My hBDD bindings are on Hackage. I once had a binding to buddy but found CUDD to have superior performance for my application. cheers peter -- http://peteg.org/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe