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, 0.1.2, 0.2.0
Change logNone available
Dependenciesbase (>=4.6 && <4.10), containers (==0.5.*), haskeline (==0.7.*), mtl (>=2.1 && <2.4), parsec (==3.1.*), picosat (==0.1.*), pretty (==1.1.*), process (==1.1.*) [details]
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
UploadedTue Apr 5 19:37:01 UTC 2016 by sdiehl
DistributionsNixOS:0.2.0
Downloads405 total (9 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2016-04-05 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
shellBuild the interactive shellDisabledAutomatic

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