Peter Gammie peteg42 at gmail.com writes:
My hBDD bindings are on Hackage.
Great! Perhaps add category: logic in the cabal file?
J.W.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
2012/8/20 Johannes Waldmann waldm...@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
http://packages.debian.org/squeeze/libbdd-dev
and it has an Ocaml binding.
Yes, there is
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