[Haskell-cafe] manipulating predicate formulae
ndmitchell at gmail.com
Sun Nov 30 17:06:44 EST 2008
> Are there any Haskell libraries around for manipulating predicate formulae?
> I had a look on hackage but couldn't spot anything.
Unreleased, but might be of interest. It simplifies propositional
formulae, and can do so using algebraic laws, custom simplifications
or BDDs. I don't really use this library, so if it is of interest to
you, its all yours :-)
More information about the Haskell-Cafe