Python bindings to picosat (a SAT solver)
109.58 KB
built 2026-10-17 12:07:20 GMT
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.
Dependencies
15 totalRequires12
- gcc
- picosat-devel
- pyproject-rpm-macros
- python3-devel
- python3-devel
- python3-pytest
- python3dist(packaging)
- python3dist(pip) >= 19
- python3dist(setuptools) >= 40.8
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(DynamicBuildRequires) <= 4.15.0-1
- rpmlib(FileDigests) <= 4.6.0-1
Provides3
- python-pycosat-debuginfo = 0.6.6-15.fc45
- python-pycosat-debugsource = 0.6.6-15.fc45
- python3-pycosat = 0.6.6-15.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances
Files
2Name  |
Size |
|---|---|
| pycosat-0.6.6.tar.gz | 79.03 KB |
| python-pycosat.spec | 7.94 KB |
Files 1–2 of 2
Component of
buildroots that installed this RPMNo Buildroots