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

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Mon Aug 20 15:19:18 CEST 2012

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.

Yes, there is http://hackage.haskell.org/package/obdd
but I need better performance (with the same API, ideally).

Thanks - J.W.

PS: I wonder where performance goes out the window  ...
I suspect  "Map (Int,Int) whatever" should really be
a hashtable but I don't like it in IO, it should be in ST?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120820/83b557ce/attachment.pgp>

More information about the Haskell-Cafe mailing list