معرفی شرکت ها

python3-pycosat_0.6.4+dfsg-1+b1_mips64el.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Python bindings to picosat
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main mips64el
نام بسته python3-pycosat
نام فایل بسته python3-pycosat_0.6.4+dfsg-1+b1_mips64el.deb
نسخه بسته 0.6.4+dfsg
انتشار بسته 1+b1
معماری بسته mips64el
نگهدارنده Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/conda/pycosat
مجوز -
حجم دانلود 11664
حجم نصب 100
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.4+dfsg-1+b1_amd64.deb 0.6.4+dfsg amd64 Debian main
python3-pycosat_0.6.4+dfsg-1+b1_arm64.deb 0.6.4+dfsg arm64 Debian main
python3-pycosat_0.6.4+dfsg-1+b1_armel.deb 0.6.4+dfsg armel Debian main
python3-pycosat_0.6.4+dfsg-1+b1_armhf.deb 0.6.4+dfsg armhf Debian main
python3-pycosat_0.6.4+dfsg-1+b1_i386.deb 0.6.4+dfsg i386 Debian main
python3-pycosat_0.6.4+dfsg-1+b1_mipsel.deb 0.6.4+dfsg mipsel Debian main
python3-pycosat_0.6.4+dfsg-1+b1_ppc64el.deb 0.6.4+dfsg ppc64el Debian main
python3-pycosat_0.6.4+dfsg-1+b1_s390x.deb 0.6.4+dfsg s390x Debian main


نیازمندی

مقدار نام
<< 3.12 python3
>= 3.11~ python3
>= 2.4 libc6
>= 953 picosat


نحوه نصب


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

    sudo apt-get install python3-pycosat_0.6.4+dfsg-1+b1_mips64el.deb


فایل ها

مسیرها
./usr/lib/python3/dist-packages/pycosat-0.6.4.egg-info
./usr/lib/python3/dist-packages/pycosat.cpython-311-mips64el-linux-gnuabi64.so
./usr/share/doc/python3-pycosat/README.Debian
./usr/share/doc/python3-pycosat/changelog.Debian.gz
./usr/share/doc/python3-pycosat/changelog.Debian.mips64el.gz
./usr/share/doc/python3-pycosat/changelog.gz
./usr/share/doc/python3-pycosat/copyright
./usr/share/doc/python3-pycosat/examples/test_pycosat.py