@hackage / boolsimplifier

Simplification tools for simple propositional formulas.

0.1.8

Version history