[Haskell-cafe] manipulating predicate formulae

Neil Mitchell ndmitchell at gmail.com
Sun Nov 30 17:06:44 EST 2008

Hi Ganesh,

> 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 mailing list