sat: CNF SATisfier

[ algorithms, program ] [ Propose Tags ]

CNF(Clausal Normal Form) SATisfiability Solver and Generator


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 1.0, 1.1, 1.1.1
Dependencies base [details]
License LicenseRef-GPL
Copyright copyleft, share whatever you modify and any derivatives as well, including modules, additions and everything else.
Author Zvorygin, Andrii (Loki)
Category algorithms
Home page
Uploaded by AndriiZvorygin at 2007-11-22T20:34:19Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables CNFGenerate, SATSolve
Downloads 2535 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-01-04 [all 8 reports]