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

ID	6820250
Name	python3-pycosat
Version	0.6.1
Release	2.fc23
Epoch
Arch	armv7hl
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:19:58 GMT
Size	16.76 KB
SIGMD5	2e5dc144355262417100a531b583d58c
License	MIT
Buildroot	f23-build-4084699-526808
Provides	python3-pycosat = 0.6.1-2.fc23 python3-pycosat(armv7hl-32) = 0.6.1-2.fc23
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	ld-linux-armhf.so.3 ld-linux-armhf.so.3(GLIBC_2.4) libc.so.6 libc.so.6(GLIBC_2.4) libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) 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/lib/python3.4/site-packages/pycosat-0.6.1-py3.4.egg-info 4.00 KB /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/SOURCES.txt 169.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/top_level.txt 21.00 B /usr/lib/python3.4/site-packages/pycosat.cpython-34m.so 11.18 KB /usr/share/doc/python3-pycosat 4.00 KB /usr/share/doc/python3-pycosat/CHANGELOG 1.54 KB /usr/share/doc/python3-pycosat/README.rst 4.39 KB /usr/share/licenses/python3-pycosat 4.00 KB /usr/share/licenses/python3-pycosat/LICENSE 1.06 KB
Component of	No Buildroots