Simplification tools for simple propositional formulas.

Version on this page:0.1.8
Stackage Nightly 2017-08-20:0.1.8
LTS Haskell 9.1:0.1.8
Stackage Nightly 2017-08-20:0.1.8
Latest on Hackage:0.1.8
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:
Used by 1 package:
comments powered byDisqus