معرفی شرکت ها


cadical_1.5.3-2_mips64el.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Simplified Satisfiability Solver
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main mips64el
نام بسته cadical
نام فایل بسته cadical_1.5.3-2_mips64el.deb
نسخه بسته 1.5.3
انتشار بسته 2
معماری بسته mips64el
نگهدارنده Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://fmv.jku.at/cadical/
مجوز -
حجم دانلود 313892
حجم نصب 1845
CaDiCaL is a CDCL solver that is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers. . This package contains binaries needed to use CaDiCaL as a stand-alone tool.


جایگزین ها

بسته نسخه معماری مخزن
cadical_1.5.3-2_amd64.deb 1.5.3 amd64 Debian main
cadical_1.5.3-2_arm64.deb 1.5.3 arm64 Debian main
cadical_1.5.3-2_armel.deb 1.5.3 armel Debian main
cadical_1.5.3-2_armhf.deb 1.5.3 armhf Debian main
cadical_1.5.3-2_i386.deb 1.5.3 i386 Debian main
cadical_1.5.3-2_mipsel.deb 1.5.3 mipsel Debian main
cadical_1.5.3-2_ppc64el.deb 1.5.3 ppc64el Debian main
cadical_1.5.3-2_s390x.deb 1.5.3 s390x Debian main


نیازمندی

مقدار نام
>= 2.34 libc6
>= 3.0 libgcc-s1
>= 11 libstdc++6


نحوه نصب


نصب پکیج deb cadical:

    sudo apt-get install cadical_1.5.3-2_mips64el.deb


فایل ها

مسیرها
./usr/bin/cadical
./usr/bin/mobical
./usr/share/doc/cadical/changelog.Debian.gz
./usr/share/doc/cadical/copyright
./usr/share/man/man1/cadical.1.gz
./usr/share/man/man1/mobical.1.gz