Simplification tools for simple propositional formulas.

Version on this page:0.1.8
LTS Haskell 13.21:0.1.8
Stackage Nightly 2019-05-18:0.1.8
Latest on Hackage:0.1.8

See all snapshots boolsimplifier appears in

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

Module documentation for 0.1.8

There are no documented modules for this package.

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