The sat package

[Tags:gpl, program]

CNF(Clausal Normal Form) SATisfiability Solver and Generator


Versions 1.0, 1.1, 1.1.1
Dependencies base [details]
License GPL
Copyright copyleft, share whatever you modify and any derivatives as well, including modules, additions and everything else.
Author Zvorygin, Andrii (Loki)
Stability stable
Category algorithms
Home page
Uploaded Thu Nov 22 20:34:19 UTC 2007 by AndriiZvorygin
Distributions NixOS:1.1.1
Downloads 757 total (11 in the last 30 days)
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-13 [all 6 reports]


Maintainer's Corner

For package maintainers and hackage trustees