Simplification tools for simple propositional formulas.

Latest on Hackage:0.1.8@rev:1

See all snapshots boolsimplifier appears in

BSD-3-Clause licensed by Gershom Bazerman, Jeff Polakow
Maintained by

Module documentation for 0.1.8

This version can be pinned in stack with:boolsimplifier-0.1.8@sha256:d05220c8f3aaeb0c5f6f92cd6c3d869b7f5253b66cdb6d5d392b9198ec061577,1400

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

Depends on 2 packages(full list with versions):