The latest version of sat is 1.1.1-0.
sat
Version 1.1 revision 0 uploaded by AndriiZvorygin.
Package meta
- Synopsis
- CNF SATisfier
- Description
CNF(Clausal Normal Form) SATisfiability Solver and Generator
- Author
- Zvorygin, Andrii (Loki)
- Bug reports
- n/a
- Category
- algorithms
- Copyright
- copyleft, share whatever you modify and any derivatives as well, including modules, additions and everything else.
- Homepage
- http://tcana.info/sat.html
- Maintainer
- andrii.z@gmail.com
- Package URL
- http://lokiworld.org/skamSELypla/sat
- Stability
- stable