معرفی شرکت ها

libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

development files for the CryptoMiniSat SAT solver
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main mips64el
نام بسته libcryptominisat5-dev
نام فایل بسته libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb
نسخه بسته 5.8.0+dfsg1
انتشار بسته 1+b3
معماری بسته mips64el
نگهدارنده Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.msoos.org/
مجوز -
حجم دانلود 13952
حجم نصب 64
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.


جایگزین ها

بسته نسخه معماری مخزن
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb 5.8.0+dfsg1 amd64 Debian main
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb 5.8.0+dfsg1 arm64 Debian main
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb 5.8.0+dfsg1 armel Debian main
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb 5.8.0+dfsg1 armhf Debian main
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb 5.8.0+dfsg1 i386 Debian main
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb 5.8.0+dfsg1 mipsel Debian main
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb 5.8.0+dfsg1 ppc64el Debian main
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb 5.8.0+dfsg1 s390x Debian main


نیازمندی

مقدار نام
= 5.8.0+dfsg1-1+b3 libcryptominisat5-5.8


نحوه نصب


نصب پکیج deb libcryptominisat5-dev:

    sudo apt-get install libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb


فایل ها

مسیرها
./usr/include/cryptominisat5/cryptominisat.h
./usr/include/cryptominisat5/cryptominisat_c.h
./usr/include/cryptominisat5/dimacsparser.h
./usr/include/cryptominisat5/solvertypesmini.h
./usr/include/cryptominisat5/streambuffer.h
./usr/share/doc/libcryptominisat5-dev/changelog.Debian.gz
./usr/share/doc/libcryptominisat5-dev/changelog.Debian.mips64el.gz
./usr/share/doc/libcryptominisat5-dev/copyright
./usr/lib/mips64el-linux-gnuabi64/libcryptominisat5.so -> libcryptominisat5.so.5.8