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.x86_64.rpm

ID	6820251
Name	python3-pycosat
Version	0.6.1
Release	2.fc23
Epoch
Arch	x86_64
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:15:47 GMT
Size	17.17 KB
SIGMD5	c34a4e9c7793d90c5015ce2da4f283fc
License	MIT
Buildroot	f23-build-4084696-526808
Provides	python3-pycosat = 0.6.1-2.fc23 python3-pycosat(x86-64) = 0.6.1-2.fc23
Obsoletes	No Obsoletes
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) libpython3.4m.so.1.0()(64bit) 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/lib64/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info/dependency_links.txt 1.00 B /usr/lib64/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info/top_level.txt 21.00 B /usr/lib64/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info/SOURCES.txt 169.00 B /usr/share/licenses/python3-pycosat/LICENSE 1.06 KB /usr/share/doc/python3-pycosat/CHANGELOG 1.54 KB /usr/lib64/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info 4.00 KB /usr/share/doc/python3-pycosat 4.00 KB /usr/share/licenses/python3-pycosat 4.00 KB /usr/share/doc/python3-pycosat/README.rst 4.39 KB /usr/lib64/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info/PKG-INFO 6.07 KB /usr/lib64/python3.4/site-packages/pycosat.cpython-34m.so 16.16 KB
Component of	No Buildroots