boolsimplifier

Simplification tools for simple propositional formulas.

LTS Haskell 23.0:0.1.8@rev:1
Stackage Nightly 2024-12-09:0.1.8@rev:1
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 [email protected]
This version can be pinned in stack with:boolsimplifier-0.1.8@sha256:d05220c8f3aaeb0c5f6f92cd6c3d869b7f5253b66cdb6d5d392b9198ec061577,1400

Module documentation for 0.1.8

Depends on 2 packages(full list with versions):

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