boolsimplifier

Simplification tools for simple propositional formulas.

LTS Haskell 14.9:0.1.8@rev:1
Stackage Nightly 2019-10-15: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 gershomb@gmail.com

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):
comments powered byDisqus