معرفی شرکت ها

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

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Bindings to picosat (a SAT solver)
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic i586
نام بسته python-module-pycosat
نام فایل بسته python-module-pycosat-0.6.1-alt4.git20140610.i586.rpm
نسخه بسته 0.6.1
انتشار بسته alt4.git20140610
معماری بسته i586
نگهدارنده -
تاریخ ساخت Tue 16 Apr 2019 05
هاست سازنده grenka-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://pypi.python.org/pypi/pycosat/
مجوز MIT
حجم دانلود 14K
حجم نصب 33.825K
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).


جایگزین ها

بسته نسخه معماری مخزن
python-module-pycosat-0.6.1-alt4.git20140610.x86_64.rpm 0.6.1 x86_64 ALT classic


نیازمندی

مقدار نام
- /usr/lib/python2.7/site-packages
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1.3)
>= set:kgbq75nuOph1xQXgCPFV6gRHupc libpicosat.so.0
- rpmlib(SetVersions)
>= set:ojJsqtuSEcoZ7frZ1XkfciIaR9RN9H9sHZ3Kv5uwFxJxUO6d6yKkQlLCEuVtzi3gg9wLoBCQhUhW8qjqzGFKeF6E0 libpython2.7.so.1.0
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
- python2.7(pycosat)
= 0.6.1-alt4.git20140610:sisyphus+225625.55340.91.1 python-module-pycosat


نحوه نصب


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

    sudo apt-get install python-module-pycosat-0.6.1-alt4.git20140610.i586.rpm


فایل ها

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


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

تاریخ آخرین تغییر جزئیات
2019-04-12

Rebuild for python3.7.

2018-03-22

(NMU) Rebuilt with python-3.6.4.

2016-03-17

(NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10

2016-01-26

Rebuild with "def_disable check"
Cleanup buildreq

2015-03-17

Built with external PicoSAT

2014-11-13

Initial build for Sisyphus