Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM python3-pycosat-0.6.1-2.fc23.i686.rpm

ID	6820256
Name	python3-pycosat
Version	0.6.1
Release	2.fc23
Epoch
Arch	i686
Summary	Python 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 Time	2015-09-23 23:16:15 GMT
Size	17.18 KB
SIGMD5	8d1576e3055b84d788745a15d6cb2ad8
License	MIT
Buildroot	f23-build-4084700-526808
Provides	python3-pycosat = 0.6.1-2.fc23 python3-pycosat(x86-32) = 0.6.1-2.fc23
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.4) libpicosat.so.0 libpthread.so.0 libpython3.4m.so.1.0 python(abi) = 3.4 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 Size /usr/share/licenses/python3-pycosat/LICENSE 1.06 KB /usr/share/licenses/python3-pycosat 4.00 KB /usr/share/doc/python3-pycosat/README.rst 4.39 KB /usr/share/doc/python3-pycosat/CHANGELOG 1.54 KB /usr/share/doc/python3-pycosat 4.00 KB /usr/lib/python3.4/site-packages/pycosat.cpython-34m.so 11.24 KB /usr/lib/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info/top_level.txt 21.00 B /usr/lib/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info/dependency_links.txt 1.00 B /usr/lib/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info/SOURCES.txt 169.00 B /usr/lib/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info/PKG-INFO 6.07 KB /usr/lib/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info 4.00 KB
Component of	No Buildroots