sat: CNF SATisfier
CNF(Clausal Normal Form) SATisfiability Solver and Generator
| Versions | 1.0, 1.1, 1.1.1 |
|---|---|
| Dependencies | base |
| 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 |
| Executables | SATSolve, CNFGenerate |
| Upload date | Sat Oct 28 02:32:38 UTC 2007 |
| Uploaded by | AndriiZvorygin |
| Build failure | ghc-6.10 (log), ghc-6.8 (log) |
Downloads
- sat-1.0.tar.gz (Cabal source package)
- package description (included in the package)