معرفی شرکت ها

python-module-pycosat-0.6.1-alt4.git20140610.x86_64.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 x86_64
نام بسته python-module-pycosat
نام فایل بسته python-module-pycosat-0.6.1-alt4.git20140610.x86_64.rpm
نسخه بسته 0.6.1
انتشار بسته alt4.git20140610
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 16 Apr 2019 06
هاست سازنده grenka-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://pypi.python.org/pypi/pycosat/
مجوز MIT
حجم دانلود 13K
حجم نصب 38.872K
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.i586.rpm 0.6.1 i586 ALT classic


نیازمندی

مقدار نام
- /usr/lib64/python2.7/site-packages
- libc.so.6(GLIBC_2.2.5)(64bit)
>= set:kgbq75nuOph1xQXgCPFV6gRHupc libpicosat.so.0()(64bit)
- rpmlib(SetVersions)
>= set:ojJsqtuSEcoZ7frZ1XkfciIaR9RN9H9sHZ3Kv5uwFxJxUO6d6yKkQlLCEuVtzi3gg9wLoBCQhUhW8qjGDdqGHE6E0 libpython2.7.so.1.0()(64bit)
- 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.x86_64.rpm


فایل ها

مسیرها
/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
/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