@hackage boolsimplifier0.1.7

Simplification tools for simple propositional formulas.

Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.