معرفی شرکت ها

cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

SAT solver command line interface
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main mipsel
نام بسته cryptominisat
نام فایل بسته cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb
نسخه بسته 5.11.4+dfsg1
انتشار بسته 2+b1
معماری بسته mipsel
نگهدارنده Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.msoos.org/
مجوز -
حجم دانلود 73204
حجم نصب 365
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.


جایگزین ها

بسته نسخه معماری مخزن
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb 5.11.4+dfsg1 amd64 Debian main
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb 5.11.4+dfsg1 arm64 Debian main
cryptominisat_5.11.4+dfsg1-2+b1_armel.deb 5.11.4+dfsg1 armel Debian main
cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb 5.11.4+dfsg1 armhf Debian main
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb 5.11.4+dfsg1 i386 Debian main
cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb 5.11.4+dfsg1 mips64el Debian main
cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb 5.11.4+dfsg1 ppc64el Debian main
cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb 5.11.4+dfsg1 s390x Debian main


نیازمندی

مقدار نام
>= 1.74.0 libboost-program-options1.74.0
>= 2.34 libc6
>= 5.11.4+dfsg1 libcryptominisat5-5.11
>= 3.0 libgcc-s1
>= 11 libstdc++6
>= 1:1.1.4 zlib1g


نحوه نصب


نصب پکیج deb cryptominisat:

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


فایل ها

مسیرها
./usr/bin/cryptominisat5
./usr/bin/cryptominisat5_simple
./usr/share/doc/cryptominisat/changelog.Debian.gz
./usr/share/doc/cryptominisat/changelog.Debian.mipsel.gz
./usr/share/doc/cryptominisat/copyright
./usr/share/man/man1/cryptominisat5.1.gz
./usr/share/menu/cryptominisat
./usr/bin/cryptominisat -> cryptominisat5
./usr/bin/cryptominisat_simple -> cryptominisat5_simple
./usr/share/man/man1/cryptominisat.1.gz -> cryptominisat5.1.gz
./usr/share/man/man1/cryptominisat_simple.1.gz -> cryptominisat5_simple.1.gz