Tue, 21 Mar 2023 18:20:12 UTC

Information for RPM python2-pycosat-0.6.1-2.fc23.x86_64.rpm

ID6820252
Namepython2-pycosat
Version0.6.1
Release2.fc23
Epoch
Archx86_64
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:15:47 GMT
Size17.29 KB
ac6f9b1540e1d8ef22e38b4e5b9ea552
LicenseMIT
Buildrootf23-build-4084696-526808
Provides
python-pycosat = 0.6.1-2.fc23
python2-pycosat = 0.6.1-2.fc23
python2-pycosat(x86-64) = 0.6.1-2.fc23
Obsoletes
python-pycosat < 0.6.1-2.fc23
Conflicts No Conflicts
Requires
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libpicosat.so.0()(64bit)
libpthread.so.0()(64bit)
libpython2.7.so.1.0()(64bit)
python(abi) = 2.7
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 11 of 11
Name ascending sort Size
/usr/lib64/python2.7/site-packages/pycosat-0.6.1-py2.7.egg-info4.00 KB
/usr/lib64/python2.7/site-packages/pycosat-0.6.1-py2.7.egg-info/PKG-INFO6.07 KB
/usr/lib64/python2.7/site-packages/pycosat-0.6.1-py2.7.egg-info/SOURCES.txt169.00 B
/usr/lib64/python2.7/site-packages/pycosat-0.6.1-py2.7.egg-info/dependency_links.txt1.00 B
/usr/lib64/python2.7/site-packages/pycosat-0.6.1-py2.7.egg-info/top_level.txt21.00 B
/usr/lib64/python2.7/site-packages/pycosat.so16.02 KB
/usr/share/doc/python2-pycosat4.00 KB
/usr/share/doc/python2-pycosat/CHANGELOG1.54 KB
/usr/share/doc/python2-pycosat/README.rst4.39 KB
/usr/share/licenses/python2-pycosat4.00 KB
/usr/share/licenses/python2-pycosat/LICENSE1.06 KB
Component of No Buildroots