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.

Properties

Versions0.1, 0.1.5, 0.1.6, 0.1.7, 0.1.8
Change logNone available
Dependenciesbase, containers (>=0.4)
LicenseBSD3
CopyrightGershom Bazerman, Jeff Polakow 2011
AuthorGershom Bazerman, Jeff Polakow
Maintainergershomb@gmail.com
CategoryMath, Language
Source repositoryhead: darcs get http://patch-tag.com/r/gershomb/boolsimplifier
UploadedSun Aug 5 17:46:09 UTC 2012 by GershomBazerman
DistributionsLTSHaskell:0.1.8, NixOS:0.1.8, Stackage:0.1.8
Downloads770 total (57 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees