@hackage / rme

Reed-Muller Expansion normal form for Boolean Formulas

0.1.2

Version history