Wed, 22 Mar 2023 03:08:42 UTC

Information for RPM python-pycosat-0.6.1-2.fc23.src.rpm

ID6820247
Namepython-pycosat
Version0.6.1
Release2.fc23
Epoch
Archsrc
SummaryPython 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.
Build Time2015-09-23 23:19:16 GMT
Size65.64 KB
4feccf9d6e97ba636d76629532274998
LicenseMIT
Buildrootf23-build-4084699-526808
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
picosat-devel
pytest
python2-devel
python3-devel
python3-pytest
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 2 of 2
Name ascending sort Size
pycosat-0.6.1.tar.gz57.88 KB
python-pycosat.spec2.95 KB
Component of No Buildroots