معرفی شرکت ها

haskell-what4-utils_1.3-4+b1_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Solver-agnostic symbolic values support for issuing queries
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته haskell-what4-utils
نام فایل بسته haskell-what4-utils_1.3-4+b1_s390x.deb
نسخه بسته 1.3
انتشار بسته 4+b1
معماری بسته s390x
نگهدارنده Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/GaloisInc/what4
مجوز -
حجم دانلود 8278068
حجم نصب 56130
What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.


جایگزین ها

بسته نسخه معماری مخزن
haskell-what4-utils_1.3-4+b1_mips64el.deb 1.3 mips64el Debian main
haskell-what4-utils_1.3-4+b1_mipsel.deb 1.3 mipsel Debian main
haskell-what4-utils_1.3-4+b1_ppc64el.deb 1.3 ppc64el Debian main
haskell-what4-utils_1.3-4+b2_arm64.deb 1.3 arm64 Debian main
haskell-what4-utils_1.3-4+b2_armel.deb 1.3 armel Debian main
haskell-what4-utils_1.3-4+b2_armhf.deb 1.3 armhf Debian main
haskell-what4-utils_1.3-4+b2_i386.deb 1.3 i386 Debian main
haskell-what4-utils_1.3-4+b3_amd64.deb 1.3 amd64 Debian main


نیازمندی

مقدار نام
>= 2.34 libc6
>= 3.4 libffi8
>= 2:6.2.1+dfsg1 libgmp10
>= 1:1.1.4 zlib1g


نحوه نصب


نصب پکیج deb haskell-what4-utils:

    sudo apt-get install haskell-what4-utils_1.3-4+b1_s390x.deb


فایل ها

مسیرها
./usr/bin/quickstart
./usr/share/doc/haskell-what4-utils/buildinfo_s390x.gz
./usr/share/doc/haskell-what4-utils/changelog.Debian.gz
./usr/share/doc/haskell-what4-utils/changelog.Debian.s390x.gz
./usr/share/doc/haskell-what4-utils/changelog.gz
./usr/share/doc/haskell-what4-utils/copyright
./usr/share/what4/solverBounds.config