The sat package

[Tags:gpl, program]

CNF(Clausal Normal Form) SATisfiability Solver and Generator

Properties

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)
Maintainer andrii.z@gmail.com
Stability stable
Category algorithms
Home page http://tcana.info/sat.html
Uploaded Thu Nov 22 20:34:19 UTC 2007 by AndriiZvorygin
Distributions NixOS:1.1.1
Downloads 721 total (7 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-13 [all 6 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees