معرفی شرکت ها

picosat_965-2_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

SAT solver with proof and core support
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Jammy-22.04
مخزن Ubuntu universe amd64
نام بسته picosat
نام فایل بسته picosat_965-2_amd64.deb
نسخه بسته 965
انتشار بسته 2
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://fmv.jku.at/picosat/
مجوز -
حجم دانلود 91888
حجم نصب 881
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.


نیازمندی

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


نحوه نصب


نصب پکیج deb picosat:

    sudo apt-get install picosat_965-2_amd64.deb


فایل ها

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