pycosat: SAT solver picosat with Python bindings - Packages and Features

Skip to content
Back to top
View this page
Edit this page

# 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

## Special Update/Build Instructions

None.

## Type

optional

## Dependencies

- $(PYTHON)

- $(PYTHON_TOOLCHAIN)

## Version Information

package-version.txt:

    0.6.3

version_requirements.txt:

    pycosat >=0.6.3

## Equivalent System Packages

Alpine

    $ apk add py3-pycosat

Arch Linux

    $ sudo pacman -S python-pycosat

conda-forge

    $ conda install pycosat

Fedora/Redhat/CentOS

    $ sudo dnf install python3-pycosat

FreeBSD

    $ sudo pkg install math/py-pycosat

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

If the system package is installed and if the (experimental) option `--enable-system-site-packages` is passed to `./configure`, then `./configure` will check if the system package can be used.