blob: 7932462faecaa2bbd4c4f66afa43c9e21a52c7ab (
plain) (
blame)
1
2
3
4
5
6
|
PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.
WWW: https://github.com/ContinuumIO/pycosat
|
