معرفی شرکت ها

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

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Python bindings for Yices SMT solver
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p8
مخزن ALTLinux classic i586
نام بسته python-module-pyices
نام فایل بسته python-module-pyices-0.2-alt1.git20140507.i586.rpm
نسخه بسته 0.2
انتشار بسته alt1.git20140507
معماری بسته i586
نگهدارنده -
تاریخ ساخت Mon 16 Mar 2015 02
هاست سازنده real-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/cheshire/pyices
مجوز Free
حجم دانلود 35K
حجم نصب 193.433K
Python bindings for Yices SMT solver. Works as a layer on top of C API, on top of the layer generated by ctypesgen.


جایگزین ها

بسته نسخه معماری مخزن
python-module-pyices-0.2-alt1.git20140507.x86_64.rpm 0.2 x86_64 ALT classic
python-module-pyices-tests-0.2-alt1.git20140507.i586.rpm 0.2 i586 ALT classic
python-module-pyices-tests-0.2-alt1.git20140507.x86_64.rpm 0.2 x86_64 ALT classic


نیازمندی

مقدار نام
- libyices.so.2.3
- /usr/lib/python2.7/site-packages
- python-modules
- python2.7(ctypes)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
- 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)
= 0.2-alt1.git20140507 python-module-pyices


نحوه نصب


نصب پکیج rpm python-module-pyices:

    sudo apt-get install python-module-pyices-0.2-alt1.git20140507.i586.rpm


فایل ها

مسیرها
/usr/lib/python2.7/site-packages/pyices
/usr/lib/python2.7/site-packages/pyices-0.2-py2.7.egg-info
/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/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/share/doc/python-module-pyices-0.2
/usr/share/doc/python-module-pyices-0.2/README.md


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2015-03-16

Initial build for Sisyphus