[Haskell-cafe] Wanted: Haskell binding for libbdd (buddy)
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...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the Haskell-Cafe