python-module-pyices-0.2-alt2.git20140507.i586.rpm


Advertisement

Description

python-module-pyices - Python bindings for Yices SMT solver

Property Value
Distribution ALT Linux Sisyphus
Repository Classic i586
Package filename python-module-pyices-0.2-alt2.git20140507.i586.rpm
Package name python-module-pyices
Package version 0.2
Package release alt2.git20140507
Package architecture i586
Package type rpm
Category Development/Python
Homepage -
License -
Maintainer -
Download size 191.75 KB
Installed size 191.75 KB
Python bindings for Yices SMT solver. Works as a layer on top of C API,
on top of the layer generated by ctypesgen.

Alternatives

Package Version Architecture Repository
python-module-pyices-0.2-alt2.git20140507.x86_64.rpm 0.2 x86_64 Classic
python-module-pyices - - -

Requires

Name Value
/usr/lib/python2.7/site-packages -
libyices.so.2.3 -
python-modules -
python2.7(ctypes) -
rpmlib(PayloadIsLzma) -

Provides

Name Value
python-module-pyices = 0.2-alt2.git20140507
python2.7(pyices) -
python2.7(pyices.context) -
python2.7(pyices.expression) -
python2.7(pyices.fix_env) -
python2.7(pyices.yices_lib) -
python2.7(pyices.yices_utils) -

Download

Type URL
Mirror ftp.altlinux.org
Binary Package python-module-pyices-0.2-alt2.git20140507.i586.rpm
Source Package python-module-pyices-0.2-alt2.git20140507.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus i586 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-pyices rpm package:
    # sudo apt-get install python-module-pyices

Files

Path
/usr/lib/python2.7/site-packages/pyices/__init__.py
/usr/lib/python2.7/site-packages/pyices/__init__.pyc
/usr/lib/python2.7/site-packages/pyices/__init__.pyo
/usr/lib/python2.7/site-packages/pyices/context.py
/usr/lib/python2.7/site-packages/pyices/context.pyc
/usr/lib/python2.7/site-packages/pyices/context.pyo
/usr/lib/python2.7/site-packages/pyices/expression.py
/usr/lib/python2.7/site-packages/pyices/expression.pyc
/usr/lib/python2.7/site-packages/pyices/expression.pyo
/usr/lib/python2.7/site-packages/pyices/fix_env.py
/usr/lib/python2.7/site-packages/pyices/fix_env.pyc
/usr/lib/python2.7/site-packages/pyices/fix_env.pyo
/usr/lib/python2.7/site-packages/pyices/yices_lib.py
/usr/lib/python2.7/site-packages/pyices/yices_lib.pyc
/usr/lib/python2.7/site-packages/pyices/yices_lib.pyo
/usr/lib/python2.7/site-packages/pyices/yices_utils.py
/usr/lib/python2.7/site-packages/pyices/yices_utils.pyc
/usr/lib/python2.7/site-packages/pyices/yices_utils.pyo
/usr/lib/python2.7/site-packages/pyices-0.2-py2.7.egg-info/PKG-INFO
/usr/lib/python2.7/site-packages/pyices-0.2-py2.7.egg-info/SOURCES.txt
/usr/lib/python2.7/site-packages/pyices-0.2-py2.7.egg-info/dependency_links.txt
/usr/lib/python2.7/site-packages/pyices-0.2-py2.7.egg-info/requires.txt
/usr/lib/python2.7/site-packages/pyices-0.2-py2.7.egg-info/top_level.txt
/usr/share/doc/python-module-pyices-0.2/README.md

Changelog

2018-03-05 - Aleksei Nikiforov <darktemplar@altlinux.org> 0.2-alt2.git20140507
- Cleaned up spec and fixed build.
2018-02-02 - Stanislav Levin <slev@altlinux.org> 0.2-alt1.git20140507.1
- (NMU) Fix Requires and BuildRequires to python-setuptools
2015-03-16 - Eugeny A. Rostovtsev (REAL) <real at altlinux.org> 0.2-alt1.git20140507
- Initial build for Sisyphus

See Also

Package Description
python-module-pyices-tests-0.2-alt2.git20140507.i586.rpm Tests for pyices
python-module-pykcs11-1.4.3-alt1.i586.rpm A complete PKCS#11 wrapper for Python
python-module-pykcs11-docs-1.4.3-alt1.i586.rpm A complete PKCS#11 wrapper for Python
python-module-pylbfgs-0.2.0.12-alt1.i586.rpm LBFGS and OWL-QN optimization algorithms
python-module-pyldb-1.5.5-alt1.i586.rpm Python bindings for the LDB library
python-module-pyldb-devel-1.5.5-alt1.i586.rpm Development files for the Python bindings for the LDB library
python-module-pylibmc-1.5.2-alt1.1.i586.rpm Quick and small memcached client for Python
python-module-pylibrabbitmq-1.6.1-alt2.git20150706.i586.rpm Experimental Python bindings to the RabbitMQ C-library librabbitmq
python-module-pylibrabbitmq-tests-1.6.1-alt2.git20150706.i586.rpm Tests for pylibrabbitmq
python-module-pylirc-0.0.5-alt3.1.1.i586.rpm Python lirc module. See http://www.lirc.org for more info on lirc
python-module-pylzma-0.4.6.2-alt1.git20141116.1.1.1.i586.rpm Python bindings for the LZMA library by Igor Pavlov
python-module-pymagic-1.0-alt2.1.i586.rpm libmagic bindings
python-module-pymol-2.3.0-alt1.i586.rpm PyMOL python module
python-module-pymongo-3.8.0-alt1.i586.rpm Python driver for MongoDB
python-module-pymongo-gridfs-3.8.0-alt1.i586.rpm Python GridFS driver for MongoDB
Advertisement
Advertisement