Package profile
pycosat
- Summary: bindings to picosat (a SAT solver)
- Author: Ilan Schnell
- License: MIT
- Homepage: https://github.com/ContinuumIO/pycosat
- Source: https://github.com/ContinuumIO/pycosat
- Number of releases: 3
- First release: 0.6.1 on 2015-09-03
- Latest release: 0.6.6 on 2023-10-03
- Latest release size: 69.9 KB (sdist)