The picologic package

[Tags: library, mit]

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


Properties

Version0.1
Dependenciesbase (==4.6.*), 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
Upload dateThu Jun 12 22:23:05 UTC 2014
Uploaded bysdiehl
Downloads59 total (9 in last 30 days)

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