The boolsimplifier package
Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.
Properties
| Versions | 0.1, 0.1.5, 0.1.6, 0.1.7 |
|---|---|
| Dependencies | base (≥4 & <7), containers (≥0.4) |
| License | BSD3 |
| Copyright | Gershom Bazerman, Jeff Polakow 2011 |
| Author | Gershom Bazerman, Jeff Polakow |
| Maintainer | gershomb@gmail.com |
| Category | Math, Language |
| Source repository | darcs get http://patch-tag.com/r/gershomb/boolsimplifier |
| Upload date | Sun Aug 5 17:46:09 UTC 2012 |
| Uploaded by | GershomBazerman |
| Built on | ghc-7.4 |
Modules
Downloads
- boolsimplifier-0.1.7.tar.gz (Cabal source package)
- package description (included in the package)