python-module-pycosat-0.6.1-alt4.git20140610.x86_64.rpm


Advertisement

Description

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).

Alternatives

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

Requires

Name Value
/usr/lib64/python2.7/site-packages -
libc.so.6(GLIBC_2.2.5)(64bit) -
libpicosat.so.0()(64bit) -
libpython2.7.so.1.0()(64bit) -
rpmlib(PayloadIsLzma) -
rpmlib(SetVersions) -
rtld(GNU_HASH) -

Provides

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

Download

Type URL
Mirror ftp.altlinux.org
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] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus x86_64 classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/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

Files

Path
/usr/lib64/python2.7/site-packages/pycosat-0.6.1-py2.7.egg-info
/usr/lib64/python2.7/site-packages/pycosat.so
/usr/share/doc/python-module-pycosat-0.6.1/CHANGELOG
/usr/share/doc/python-module-pycosat-0.6.1/README.rst
/usr/share/doc/python-module-pycosat-0.6.1/examples/8queens.py
/usr/share/doc/python-module-pycosat-0.6.1/examples/8queens_py3k.py
/usr/share/doc/python-module-pycosat-0.6.1/examples/opium.py
/usr/share/doc/python-module-pycosat-0.6.1/examples/sudoku.py

Changelog

2019-04-12 - Grigory Ustinov <grenka@altlinux.org> 0.6.1-alt4.git20140610
- Rebuild for python3.7.
2018-03-22 - Aleksei Nikiforov <darktemplar@altlinux.org> 0.6.1-alt3.git20140610.1.1
- (NMU) Rebuilt with python-3.6.4.
2016-03-17 - Ivan Zakharyaschev <imz@altlinux.org> 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 <rt@altlinux.ru> 0.6.1-alt3.git20140610
- Rebuild with "def_disable check"
- Cleanup buildreq
2015-03-17 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 0.6.1-alt2.git20140610
- Built with external PicoSAT
2014-11-13 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 0.6.1-alt1.git20140610
- Initial build for Sisyphus

See Also

Package Description
python-module-pycrypto-2.7-alt3.a1.git20140620.1.1.1.1.x86_64.rpm Cryptographic modules for Python
python-module-pycrypto-docs-2.7-alt3.a1.git20140620.1.1.1.1.x86_64.rpm Documentation for pycrypto
python-module-pycrypto-tests-2.7-alt3.a1.git20140620.1.1.1.1.x86_64.rpm 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-7.43.0.2-alt1.x86_64.rpm 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-0.3.4.1-alt1.x86_64.rpm 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
Advertisement
Advertisement