Simplification tools for simple propositional formulas.

Version on this page:0.1.8
LTS Haskell 12.24:0.1.8
Stackage Nightly 2018-12-18:0.1.8
Latest on Hackage:0.1.8

See all snapshots boolsimplifier appears in

BSD3 licensed by Gershom Bazerman, Jeff Polakow
Maintained by

Module documentation for 0.1.8

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

Depends on 2 packages:
Used by 1 package:
comments powered byDisqus