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

Peter Gammie 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
> 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.



More information about the Haskell-Cafe mailing list