sat: CNF SATisfier

[ algorithms, program ] [ Propose Tags ]

CNF(Clausal Normal Form) SATisfiability Solver and Generator

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • 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)
Maintainer andrii.z@gmail.com
Category algorithms
Home page http://tcana.info/sat.html
Uploaded by AndriiZvorygin at 2007-11-22T20:34:19Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables CNFGenerate, SATSolve
Downloads 2502 total (11 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]