The sat package (version 1.1)
CNF(Clausal Normal Form) SATisfiability Solver and Generator
| Other versions | 1.0, 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 | Thu Nov 22 11:49:30 PST 2007 |
| Uploaded by | AndriiZvorygin |
| Build failure | ghc-6.8 (log) |
Downloads
- sat-1.1.tar.gz (Cabal source package)
- package description (included in the package)