[Haskell-cafe] Wanted: Haskell binding for libbdd (buddy)

[Peter Gammie]

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/