معرفی شرکت ها

python3-pycosat_0.6.3+dfsg-1+b4_mipsel.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Python bindings to picosat
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main mipsel
نام بسته python3-pycosat
نام فایل بسته python3-pycosat_0.6.3+dfsg-1+b4_mipsel.deb
نسخه بسته 0.6.3+dfsg
انتشار بسته 1+b4
معماری بسته mipsel
نگهدارنده Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://pypi.org/project/pycosat/
مجوز -
حجم دانلود 10896
حجم نصب 43
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.


جایگزین ها

بسته نسخه معماری مخزن
python3-pycosat_0.6.3+dfsg-1+b4_amd64.deb 0.6.3+dfsg amd64 Debian main
python3-pycosat_0.6.3+dfsg-1+b4_arm64.deb 0.6.3+dfsg arm64 Debian main
python3-pycosat_0.6.3+dfsg-1+b4_armel.deb 0.6.3+dfsg armel Debian main
python3-pycosat_0.6.3+dfsg-1+b4_armhf.deb 0.6.3+dfsg armhf Debian main
python3-pycosat_0.6.3+dfsg-1+b4_i386.deb 0.6.3+dfsg i386 Debian main
python3-pycosat_0.6.3+dfsg-1+b4_mips64el.deb 0.6.3+dfsg mips64el Debian main
python3-pycosat_0.6.3+dfsg-1+b4_ppc64el.deb 0.6.3+dfsg ppc64el Debian main
python3-pycosat_0.6.3+dfsg-1+b4_s390x.deb 0.6.3+dfsg s390x Debian main


نیازمندی

مقدار نام
<< 3.10 python3
>= 3.9~ python3
>= 2.4 libc6
>= 953 picosat


نحوه نصب


نصب پکیج deb python3-pycosat:

    sudo apt-get install python3-pycosat_0.6.3+dfsg-1+b4_mipsel.deb


فایل ها

مسیرها
./usr/lib/python3/dist-packages/pycosat-0.6.3.egg-info
./usr/lib/python3/dist-packages/pycosat.cpython-39-mipsel-linux-gnu.so
./usr/share/doc/python3-pycosat/README.Debian
./usr/share/doc/python3-pycosat/changelog.Debian.gz
./usr/share/doc/python3-pycosat/changelog.Debian.mipsel.gz
./usr/share/doc/python3-pycosat/changelog.gz
./usr/share/doc/python3-pycosat/copyright
./usr/share/doc/python3-pycosat/examples/test_pycosat.py