Package python3-module-pycosat: Information

Source package: python3-module-pycosat

Version: 0.6.6-alt1

Build time:  May 24, 2024, 09:20 PM in the task #349108

Category: Development/Python3

Gear: https://git.altlinux.org/gears/p/python3-module-pycosat.git?a=tr…

Home page: https://pypi.org/project/pycosat

VCS: https://github.com/conda/pycosat

License: MIT

Summary: Bindings to picosat (a SAT solver)

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 (picosat-954.tar.gz).

List of rpms provided by this srpm:
python3-module-pycosat (x86_64, i586)
python3-module-pycosat-debuginfo (x86_64, i586)

Maintainer: Grigory Ustinov

ACL:
@python
@everybody