boolsimplifier

Simplification tools for simple propositional formulas.

Version on this page:0.1.8
LTS Haskell 9.14:0.1.8
Stackage Nightly 2017-11-24:0.1.8
Latest on Hackage:0.1.8
BSD3 licensed by Gershom Bazerman, Jeff Polakow
Maintained by gershomb@gmail.com

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:
Used by 1 package:
comments powered byDisqus