The sat package

[ Tags: algorithms, gpl, program ] [ Propose Tags ]

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)
Category algorithms
Home page
Uploaded Sun Oct 28 02:32:38 UTC 2007 by AndriiZvorygin
Distributions NixOS:1.1.1
Executables CNFGenerate, SATSolve
Downloads 1273 total (11 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-01-04 [all 7 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees