pycosat: SAT solver picosat with Python bindings

Description

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. These files have been extracted from the picosat source.

License

MIT

Upstream Contact

• PicoSAT: http://fmv.jku.at/picosat/

• pycosat: https://github.com/ContinuumIO/pycosat

Dependencies

None.

Special Update/Build Instructions

None.

Type

optional

Version Information

package-version.txt:

0.6.3

install-requires.txt:

pycosat >=0.6.3

Equivalent System Packages

conda:

$ conda install pycosat python:pycosat

See https://repology.org/project/pycosat/versions, https://repology.org/project/python:pycosat/versions

However, these system packages will not be used for building Sage because using Python site-packages is not supported by the Sage distribution; see https://trac.sagemath.org/ticket/29023