معرفی شرکت ها

libz3-java_4.8.12-3.1_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

theorem prover from Microsoft Research - java bindings
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته libz3-java
نام فایل بسته libz3-java_4.8.12-3.1_s390x.deb
نسخه بسته 4.8.12
انتشار بسته 3.1
معماری بسته s390x
نگهدارنده LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز -
حجم دانلود 163148
حجم نصب 186
Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package can be used to invoke Z3 via its Java API.


جایگزین ها

بسته نسخه معماری مخزن
libz3-java_4.8.12-3.1_amd64.deb 4.8.12 amd64 Debian main
libz3-java_4.8.12-3.1_arm64.deb 4.8.12 arm64 Debian main
libz3-java_4.8.12-3.1_armel.deb 4.8.12 armel Debian main
libz3-java_4.8.12-3.1_armhf.deb 4.8.12 armhf Debian main
libz3-java_4.8.12-3.1_i386.deb 4.8.12 i386 Debian main
libz3-java_4.8.12-3.1_mips64el.deb 4.8.12 mips64el Debian main
libz3-java_4.8.12-3.1_mipsel.deb 4.8.12 mipsel Debian main
libz3-java_4.8.12-3.1_ppc64el.deb 4.8.12 ppc64el Debian main


نیازمندی

مقدار نام
>= 4.8.12-3.1 libz3-jni
<< 4.8.12-3.1.1~ libz3-jni
- libz3-dev


نحوه نصب


نصب پکیج deb libz3-java:

    sudo apt-get install libz3-java_4.8.12-3.1_s390x.deb


فایل ها

مسیرها
./usr/share/java/com.microsoft.z3-4.8.12.0.jar
./usr/share/doc/libz3-java -> libz3-dev
./usr/share/java/com.microsoft.z3.jar -> com.microsoft.z3-4.8.12.0.jar