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
Change logNone available
Dependenciesbase (>=2 && <5), containers, haskeline (==0.7.*), mtl, parsec, picosat, pretty, 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 Oct 13 21:49:33 UTC 2015 by sdiehl
DistributionsNixOS:0.1.2
Downloads377 total (11 in last 30 days)
Votes
0 []
StatusDocs available [build log]
Last success reported on 2015-10-13 [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