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

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


Name Value
/usr/lib64/python3/site-packages - - - -
python3.7-ABI(64bit) -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -


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


Type URL
Binary Package python3-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 python3-module-pycosat rpm package:
    # sudo apt-get install python3-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
python3-module-pycrypto-2.7-alt3.a1.git20140620. Cryptographic modules for Python
python3-module-pycrypto-tests-2.7-alt3.a1.git20140620. Tests for pycrypto
python3-module-pycurl- Python bindings to libcurl
python3-module-pyev-0.9.0-alt1.1.1.1.x86_64.rpm Python libev interface
python3-module-pyfltk- Python 3 bindings for FLTK library
python3-module-pygame-1.9.4-alt1.x86_64.rpm A Python 3 module for interfacing with the SDL multimedia library
python3-module-pygibson-0.2.1-alt1.1.x86_64.rpm Python client for gibson cache server
python3-module-pygobject-2.28.6-alt10.1.1.1.x86_64.rpm Python 3 bindings for GObject
python3-module-pygobject-devel-2.28.6-alt10.1.1.1.x86_64.rpm Development files for pygobject
python3-module-pygobject3-3.32.1-alt1.x86_64.rpm Python3 bindings for GObject
python3-module-pygobject3-pygtkcompat-3.32.1-alt1.x86_64.rpm PyGTK compatibility layer for PyGObject
python3-module-pygraphviz-1.5-alt2.x86_64.rpm Python 3 wrapper for the Graphviz Agraph data structure
python3-module-pygraphviz-tests-1.5-alt2.x86_64.rpm Tests for pygraphviz (Python 3)
python3-module-pyhacrf-0.1.2-alt1.1.1.x86_64.rpm Hidden alignment conditional random field, discriminative string edit distance
python3-module-pykcs11-1.4.3-alt1.x86_64.rpm A complete PKCS#11 wrapper for Python