mirror of
https://git.freebsd.org/ports.git
synced 2025-07-06 11:59:15 -04:00
6 lines
277 B
Text
6 lines
277 B
Text
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
|