The picologic package

[Tags: library, mit]

picologic provides symbolic logic expressions that can be integrated with the picosat solver.


Properties

Versions0.1, 0.1.1
Dependenciesbase (>=4.6 && <4.8), containers (==0.5.*), mtl (==2.1.*), parsec (==3.1.*), picosat (==0.1.*), pretty (==1.1.*)
LicenseMIT
Copyright2014 Stephen Diehl
AuthorStephen Diehl
Maintainerstephen.m.diehl@gmail.com
CategoryLogic
Home pagehttps://github.com/sdiehl/picologic
Bug trackerhttps://github.com/sdiehl/picologic/issues
Source repositoryhead: git clone git@github.com:sdiehl/picologic.git
Executablespicologic
UploadedFri Oct 31 04:32:55 UTC 2014 by sdiehl
Downloads118 total (20 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Flags

NameDescriptionDefault
shellBuild the interactive shellDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees