Re: [Haskell-cafe] manipulating predicate formulae

Hi Ganesh,

Are there any Haskell libraries around for manipulating predicate formulae? I had a look on hackage but couldn't spot anything.

http://www.cs.york.ac.uk/fp/darcs/proposition/ 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 :-) Thanks Neil