The boolsimplifier package

[Tags: bsd3, library]

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


Versions0.1, 0.1.5, 0.1.6, 0.1.7, 0.1.8
Change logNone available
Dependenciesbase, containers (>=0.4)
CopyrightGershom Bazerman, Jeff Polakow 2011
AuthorGershom Bazerman, Jeff Polakow
CategoryMath, Language
Source repositoryhead: darcs get
UploadedSat Aug 4 16:47:24 UTC 2012 by GershomBazerman
DistributionsLTSHaskell:0.1.8, NixOS:0.1.8, Stackage:0.1.8
Downloads771 total (57 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees