معرفی شرکت ها

python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Python bindings for the CryptoMiniSat SAT solver (Python 3)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main armhf
نام بسته python3-cryptominisat
نام فایل بسته python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb
نسخه بسته 5.8.0+dfsg1
انتشار بسته 1+b3
معماری بسته armhf
نگهدارنده Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.msoos.org/
مجوز -
حجم دانلود 18008
حجم نصب 48
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.


جایگزین ها

بسته نسخه معماری مخزن
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb 5.8.0+dfsg1 amd64 Debian main
python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb 5.8.0+dfsg1 arm64 Debian main
python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb 5.8.0+dfsg1 armel Debian main
python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb 5.8.0+dfsg1 i386 Debian main
python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb 5.8.0+dfsg1 mips64el Debian main
python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb 5.8.0+dfsg1 mipsel Debian main
python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb 5.8.0+dfsg1 ppc64el Debian main
python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb 5.8.0+dfsg1 s390x Debian main


نیازمندی

مقدار نام
>= 2.4 libc6
>= 5.8.0+dfsg1 libcryptominisat5-5.8
>= 3.5 libgcc-s1
>= 4.3.0 libstdc++6
<< 3.10 python3
>= 3.9~ python3


نحوه نصب


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

    sudo apt-get install python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb


فایل ها

مسیرها
./usr/lib/python3/dist-packages/pycryptosat-0.2.0.egg-info
./usr/lib/python3/dist-packages/pycryptosat.cpython-39-arm-linux-gnueabihf.so
./usr/share/doc/python3-cryptominisat/README.rst.gz
./usr/share/doc/python3-cryptominisat/changelog.Debian.armhf.gz
./usr/share/doc/python3-cryptominisat/changelog.Debian.gz
./usr/share/doc/python3-cryptominisat/copyright