The boolean-normal-forms package

[Tags: library, mit]

The provided types that might be useful in symbolic manipulation of propositional logic expressions.


Properties

Version0.0.0.1
Dependenciesbase (>=4.6 && <4.8), cond (>=0.4.1 && <0.5), containers (==0.5.*)
LicenseMIT
Copyright© Oleg Grenrus 2014
AuthorOleg Grenrus
Maintaineroleg.grenrus@iki.fi
CategoryData
UploadedSun May 11 21:00:10 UTC 2014 by phadej
Downloads103 total (10 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees