sat: CNF SATisfier

[ algorithms, program ] [ Propose Tags ]

CNF(Clausal Normal Form) SATisfiability Solver and Generator

Versions [RSS] [faq] 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
Distributions NixOS:1.1.1
Executables CNFGenerate, SATSolve
Downloads 2350 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2017-01-04 [all 8 reports]


Maintainer's Corner

For package maintainers and hackage trustees