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

Peter Gammie <peteg42 <at> gmail.com> writes:

My hBDD bindings are on Hackage.

Great! Perhaps add "category: logic" in the cabal file? J.W.