معرفی شرکت ها

python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.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 Bookworm-12
مخزن Debian main mips64el
نام بسته python3-cryptominisat
نام فایل بسته python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb
نسخه بسته 5.11.4+dfsg1
انتشار بسته 2+b1
معماری بسته mips64el
نگهدارنده Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.msoos.org/
مجوز -
حجم دانلود 506160
حجم نصب 1800
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.11.4+dfsg1-2+b1_amd64.deb 5.11.4+dfsg1 amd64 Debian main
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 5.11.4+dfsg1 arm64 Debian main
python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb 5.11.4+dfsg1 armel Debian main
python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 5.11.4+dfsg1 armhf Debian main
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 5.11.4+dfsg1 i386 Debian main
python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb 5.11.4+dfsg1 mipsel Debian main
python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb 5.11.4+dfsg1 ppc64el Debian main
python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb 5.11.4+dfsg1 s390x Debian main


نیازمندی

مقدار نام
<< 3.12 python3
>= 3.11~ python3
>= 2.34 libc6
>= 4.2 libgcc-s1
>= 11 libstdc++6


نحوه نصب


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

    sudo apt-get install python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb


فایل ها

مسیرها
./usr/lib/python3/dist-packages/msvc/stdint.h
./usr/lib/python3/dist-packages/oracle/bitset.hpp
./usr/lib/python3/dist-packages/oracle/oracle.cpp
./usr/lib/python3/dist-packages/oracle/oracle.hpp
./usr/lib/python3/dist-packages/oracle/utils.hpp
./usr/lib/python3/dist-packages/picosat/config.h
./usr/lib/python3/dist-packages/picosat/picogcnf.c
./usr/lib/python3/dist-packages/picosat/picomcs.c
./usr/lib/python3/dist-packages/picosat/picomus.c
./usr/lib/python3/dist-packages/picosat/picosat.c
./usr/lib/python3/dist-packages/picosat/picosat.h
./usr/lib/python3/dist-packages/picosat/version.c
./usr/lib/python3/dist-packages/pycryptosat-5.11.4.dist-info/AUTHORS
./usr/lib/python3/dist-packages/pycryptosat-5.11.4.dist-info/METADATA
./usr/lib/python3/dist-packages/pycryptosat-5.11.4.dist-info/RECORD
./usr/lib/python3/dist-packages/pycryptosat-5.11.4.dist-info/WHEEL
./usr/lib/python3/dist-packages/pycryptosat-5.11.4.dist-info/top_level.txt
./usr/lib/python3/dist-packages/pycryptosat.cpython-311-mips64el-linux-gnuabi64.so
./usr/share/doc/python3-cryptominisat/changelog.Debian.gz
./usr/share/doc/python3-cryptominisat/changelog.Debian.mips64el.gz
./usr/share/doc/python3-cryptominisat/copyright