The sat package

[Tags: gpl, program]

CNF(Clausal Normal Form) SATisfiability Solver and Generator

Properties

Versions1.0, 1.1, 1.1.1
Change logNone available
Dependenciesbase [details]
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
UploadedSun Oct 28 02:32:38 UTC 2007 by AndriiZvorygin
Downloads579 total (23 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-06-07 [all 2 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees