boolsimplifier

Simplification tools for simple propositional formulas.

Version on this page:0.1.8
LTS Haskell 8.15:0.1.8
Stackage Nightly 2017-05-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

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