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#

Special Update/Build Instructions#

None.

Type#

optional

Dependencies#

  • $(PYTHON_TOOLCHAIN)

  • $(PYTHON)

Version Information#

package-version.txt:

0.6.3

install-requires.txt:

pycosat >=0.6.3

Equivalent System Packages#

alpine:

$ apk add py3-pycosat

arch:

$ sudo pacman -S  python-pycosat

conda:

$ conda install  pycosat

Fedora/Redhat/CentOS:

$ sudo yum install  python-pycosat

freebsd:

$ sudo pkg install math/py-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 spkg-configure.m4 has not been written for this package; see github issue #27330