[Haskell-cafe] Wanted: Haskell binding for libbdd (buddy)
sergueyz at gmail.com
Mon Aug 20 16:49:20 CEST 2012
2012/8/20 Johannes Waldmann <waldmann at imn.htwk-leipzig.de>:
> 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?
Actually, all Maps there should be IntMap's, strict ones. And yes,
cache field should be two-level IntMap too.
The type Index is good for external typed access, but internally one
should use IntMap.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe