boolsimplifier-0.1: Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.

The boolsimplifier package

Properties

Versions	0.1, 0.1.5, 0.1.6, 0.1.7
Dependencies	base (≥4 & <7), containers (≥0.4)
License	BSD3
Author	Gershom Bazerman, Jeff Polakow
Maintainer	gershomb@gmail.com
Category	Math, Language
Upload date	Sat Aug 4 16:38:35 UTC 2012
Uploaded by	GershomBazerman
Built on	ghc-7.4

Modules

Data
- Data.BoolSimplifier

Downloads

boolsimplifier-0.1.tar.gz (Cabal source package)
package description (included in the package)