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

[Johannes Waldmann]

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.

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>