معرفی شرکت ها

python3-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
نام بسته python3-module-pycosat
نام فایل بسته python3-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.903K
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).


جایگزین ها

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


نیازمندی

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


ارائه دهنده

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


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/python3/site-packages/__pycache__
/usr/lib/python3/site-packages/pycosat-0.6.1-py3.7.egg-info
/usr/lib/python3/site-packages/pycosat.cpython-37m.so
/usr/share/doc/python3-module-pycosat-0.6.1
/usr/share/doc/python3-module-pycosat-0.6.1/CHANGELOG
/usr/share/doc/python3-module-pycosat-0.6.1/README.rst
/usr/share/doc/python3-module-pycosat-0.6.1/examples
/usr/share/doc/python3-module-pycosat-0.6.1/examples/8queens.py
/usr/share/doc/python3-module-pycosat-0.6.1/examples/8queens_py3k.py
/usr/share/doc/python3-module-pycosat-0.6.1/examples/opium.py
/usr/share/doc/python3-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