INFO
Name: python3-pycosat
Version: 0.6.6-11.el10_2
Arch: aarch64
Summary: Python bindings to picosat (a SAT solver)
License: MIT
Vendor: Fedora Project
Build Host: buildvm-a64-29.rdu3.fedoraproject.org
Build Date: Fri Mar 13 04:52:30 2026
Size: 83525
URL: https://github.com/ContinuumIO/pycosat
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.
FILES
/usr/lib/.build-id
/usr/lib/.build-id/60
/usr/lib/.build-id/60/18948cf7474d219915ed68019e45aa5445af07
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/AUTHORS.md
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/INSTALLER
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/LICENSE
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/METADATA
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/WHEEL
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/top_level.txt
/usr/lib64/python3.12/site-packages/pycosat.cpython-312-aarch64-linux-gnu.so
/usr/share/doc/python3-pycosat
/usr/share/doc/python3-pycosat/AUTHORS.md
/usr/share/doc/python3-pycosat/CHANGELOG.md
/usr/share/doc/python3-pycosat/README.rst
REQUIRES
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libpicosat.so.0()(64bit)
python(abi) 3.12
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)
PROVIDES
python-pycosat 0.6.6-11.el10_2
python3-pycosat 0.6.6-11.el10_2
python3-pycosat(aarch-64) 0.6.6-11.el10_2
python3.12-pycosat 0.6.6-11.el10_2
python3.12dist(pycosat) 0.6.6
python3dist(pycosat) 0.6.6
CONFIG FILES
/usr/lib/.build-id a
/usr/lib/.build-id/60 a
/usr/lib/.build-id/60/18948cf7474d219915ed68019e45aa5445af07 a
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/AUTHORS.md l
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/INSTALLER
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/LICENSE l
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/METADATA
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/WHEEL
/usr/lib64/python3.12/site-packages/pycosat-0.6.6.dist-info/top_level.txt
/usr/lib64/python3.12/site-packages/pycosat.cpython-312-aarch64-linux-gnu.so
/usr/share/doc/python3-pycosat
/usr/share/doc/python3-pycosat/AUTHORS.md d
/usr/share/doc/python3-pycosat/CHANGELOG.md d
/usr/share/doc/python3-pycosat/README.rst d
LICENSE FILES
MIT
|
