معرفی شرکت ها

picosat_960-1+b2_mips64el.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

SAT solver with proof and core support
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main mips64el
نام بسته picosat
نام فایل بسته picosat_960-1+b2_mips64el.deb
نسخه بسته 960
انتشار بسته 1+b2
معماری بسته mips64el
نگهدارنده Michael Tautschnig <mt@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://fmv.jku.at/picosat/
مجوز -
حجم دانلود 131500
حجم نصب 880
Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems. . PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.


جایگزین ها

بسته نسخه معماری مخزن
picosat_960-1+b2_amd64.deb 960 amd64 Debian main
picosat_960-1+b2_arm64.deb 960 arm64 Debian main
picosat_960-1+b2_armel.deb 960 armel Debian main
picosat_960-1+b2_armhf.deb 960 armhf Debian main
picosat_960-1+b2_i386.deb 960 i386 Debian main
picosat_960-1+b2_mips.deb 960 mips Debian main
picosat_960-1+b2_mipsel.deb 960 mipsel Debian main
picosat_960-1+b2_ppc64el.deb 960 ppc64el Debian main
picosat_960-1+b2_s390x.deb 960 s390x Debian main


نیازمندی

مقدار نام
>= 2.7 libc6


نحوه نصب


نصب پکیج deb picosat:

    sudo apt-get install picosat_960-1+b2_mips64el.deb


فایل ها

مسیرها
./usr/bin/picomus
./usr/bin/picosat
./usr/bin/picosat.trace
./usr/include/picosat/picosat.h
./usr/lib/libpicosat-trace.a
./usr/lib/libpicosat-trace.so.1.0.0
./usr/lib/libpicosat.a
./usr/lib/libpicosat.so.1.0.0
./usr/share/doc/picosat/changelog.Debian.gz
./usr/share/doc/picosat/changelog.Debian.mips64el.gz
./usr/share/doc/picosat/changelog.gz
./usr/share/doc/picosat/copyright
./usr/share/man/man1/picomus.1.gz
./usr/share/man/man1/picosat.1.gz
./usr/lib/libpicosat-trace.so -> libpicosat-trace.so.1
./usr/lib/libpicosat-trace.so.1 -> libpicosat-trace.so.1.0.0
./usr/lib/libpicosat.so -> libpicosat.so.1
./usr/lib/libpicosat.so.1 -> libpicosat.so.1.0.0
./usr/share/man/man1/picosat.trace.1.gz -> picosat.1.gz