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 dateThu Nov 22 20:34:19 UTC 2007
Uploaded byAndriiZvorygin
Downloads210 total (22 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees