7 lines
336 B
Plaintext
7 lines
336 B
Plaintext
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. For ease of deployment, the
|
|
picosat source (namely picosat.c and picosat.h) is included in
|
|
this project
|