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
Upload dateSun Oct 28 02:32:38 UTC 2007
Uploaded byAndriiZvorygin
Downloads285 total (31 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees