[Haskell-cafe] Wanted: Haskell binding for libbdd (buddy)
peteg42 at gmail.com
Mon Aug 20 23:43:06 CEST 2012
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
> 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.
More information about the Haskell-Cafe