boolsimplifier

Simplification tools for simple propositional formulas.

Version on this page:0.1.8
LTS Haskell 22.14:0.1.8@rev:1
Stackage Nightly 2024-03-28: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:adc04820be2f2f4c118a9d8e2457fceaf37239d64e5ffb458efe7fb87604765b,1158

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.