The sat package

[Tags: gpl, program]

CNF(Clausal Normal Form) SATisfiability Solver and Generator


Properties

Versions1.0, 1.1, 1.1.1
Dependenciesbase
LicenseGPL
Copyrightcopyleft, share whatever you modify and any derivatives as well, including modules, additions and everything else.
AuthorZvorygin, Andrii (Loki)
Maintainerandrii.z@gmail.com
Stabilitystable
Categoryalgorithms
Home pagehttp://tcana.info/sat.html
ExecutablesCNFGenerate, SATSolve
UploadedThu Nov 22 20:34:19 UTC 2007 by AndriiZvorygin
Downloads352 total (30 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees