python-module-pycosat - Bindings to picosat (a SAT solver)

Property Value
Distribution ALT Linux Sisyphus
Repository Classic x86_64
Package filename python-module-pycosat-0.6.1-alt4.git20140610.x86_64.rpm
Package name python-module-pycosat
Package version 0.6.1
Package release alt4.git20140610
Package architecture x86_64
Package type rpm
Category Development/Python
Homepage -
License -
Maintainer -
Download size 38.87 KB
Installed size 38.87 KB
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).


Package Version Architecture Repository
python-module-pycosat-0.6.1-alt4.git20140610.i586.rpm 0.6.1 i586 Classic
python-module-pycosat - - -


Name Value
/usr/lib64/python2.7/site-packages - - - -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -


Name Value
python-module-pycosat = 0.6.1-alt4.git20140610:sisyphus+225625.55340.91.1
python2.7(pycosat) -


Type URL
Binary Package python-module-pycosat-0.6.1-alt4.git20140610.x86_64.rpm
Source Package python-module-pycosat-0.6.1-alt4.git20140610.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    rpm [Sisyphus] x86_64 classic
    rpm [Sisyphus] noarch classic
  2. Update the package index:
    # sudo apt-get update
  3. Install python-module-pycosat rpm package:
    # sudo apt-get install python-module-pycosat




2019-04-12 - Grigory Ustinov <> 0.6.1-alt4.git20140610
- Rebuild for python3.7.
2018-03-22 - Aleksei Nikiforov <> 0.6.1-alt3.git20140610.1.1
- (NMU) Rebuilt with python-3.6.4.
2016-03-17 - Ivan Zakharyaschev <> 0.6.1-alt3.git20140610.1
- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10
(for ABI dependence and new python3(*) reqs)
2016-01-26 - Sergey Alembekov <> 0.6.1-alt3.git20140610
- Rebuild with "def_disable check"
- Cleanup buildreq
2015-03-17 - Eugeny A. Rostovtsev (REAL) <real at> 0.6.1-alt2.git20140610
- Built with external PicoSAT
2014-11-13 - Eugeny A. Rostovtsev (REAL) <real at> 0.6.1-alt1.git20140610
- Initial build for Sisyphus

See Also

Package Description
python-module-pycrypto-2.7-alt3.a1.git20140620. Cryptographic modules for Python
python-module-pycrypto-docs-2.7-alt3.a1.git20140620. Documentation for pycrypto
python-module-pycrypto-tests-2.7-alt3.a1.git20140620. Tests for pycrypto
python-module-pycryptopp-0.7.1-alt2.x86_64.rpm Python wrappers for a few algorithms from the Crypto++ library
python-module-pycryptopp-tests-0.7.1-alt2.x86_64.rpm Tests for pycryptopp
python-module-pycurl- Python bindings to libcurl
python-module-pyeclib-1.0.8-alt1.x86_64.rpm Python interface to erasure codes
python-module-pyev-0.9.0-alt1.1.1.1.x86_64.rpm Python libev interface
python-module-pyewf-20140608-alt1.qa1.1.x86_64.rpm Python bindings for libewf
python-module-pyexiv2-0.3.2-alt3.bzr20120921.1.x86_64.rpm A python binding to exiv2, the C++ library for manipulation of EXIF and IPTC image metadata
python-module-pyflowtools- Python extension module for reading flow-tools' data
python-module-pyfltk-1.3.3-alt1.qa1.x86_64.rpm Python bindings for FLTK library
python-module-pygame-1.9.4-alt1.x86_64.rpm A Python module for interfacing with the SDL multimedia library
python-module-pygibson-0.2.1-alt1.1.x86_64.rpm Python client for gibson cache server
python-module-pygnome-2.28.1-alt3.x86_64.rpm Set of bindings for the GNOME2 platform library