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
UploadedMon Dec 15 07:37:39 UTC 2014 by GershomBazerman
DistributionsLTSHaskell:0.1.8, NixOS:0.1.8, Stackage:0.1.8
Downloads778 total (64 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees