SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

python310-pycosat rpm build for : openSUSE Tumbleweed. For other distributions click python310-pycosat.

Name : python310-pycosat
Version : 0.6.1 Vendor : obs://build_opensuse_org/home:jayvdb
Release : 2.43 Date : 2022-05-14 08:46:47
Group : Development/Languages/Python Source RPM : python-pycosat-0.6.1-2.43.src.rpm
Size : 0.14 MB
Packager : (none)
Summary : 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. For ease of deployment, the picosat source (namely
picosat.c and picosat.h) is included in this project. These files have
been extracted from the picosat source (picosat-954.tar.gz).

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/jayvdb:/branches:/devel:/languages:/python:/misc/openSUSE_Tumbleweed/i586

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  python310-pycosat-0.6.1-2.43.i586.rpm
     Search for other platforms
python310-pycosat-0.6.1-2.43.sparc.rpm
python310-pycosat-0.6.1-2.43.alpha.rpm
python310-pycosat-0.6.1-2.43.ppc.rpm
python310-pycosat-0.6.1-2.43.ia64.rpm
python310-pycosat-0.6.1-2.43.s390.rpm

Provides :
python3.10dist(pycosat)
python310-pycosat
python310-pycosat(x86-32)
python3dist(pycosat)

Requires :
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.3)
libc.so.6(GLIBC_2.3.4)
libc.so.6(GLIBC_2.4)
python(abi) = 3.10
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/lib/python3.10/site-packages/__pycache__
/usr/lib/python3.10/site-packages/__pycache__/test_pycosat.cpython-310.opt-1.pyc
/usr/lib/python3.10/site-packages/__pycache__/test_pycosat.cpython-310.pyc
/usr/lib/python3.10/site-packages/pycosat-0.6.1-py3.10.egg-info
/usr/lib/python3.10/site-packages/pycosat.cpython-310-i386-linux-gnu.so
/usr/lib/python3.10/site-packages/test_pycosat.py
/usr/share/doc/packages/python310-pycosat
/usr/share/doc/packages/python310-pycosat/CHANGELOG
/usr/share/doc/packages/python310-pycosat/LICENSE
/usr/share/doc/packages/python310-pycosat/README.rst

 
ICM