20 Aug
2012
20 Aug
'12
5:43 p.m.
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/