معرفی شرکت ها

libz3-jni_4.8.10-1_mipsel.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

theorem prover from Microsoft Research - JNI library
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main mipsel
نام بسته libz3-jni
نام فایل بسته libz3-jni_4.8.10-1_mipsel.deb
نسخه بسته 4.8.10
انتشار بسته 1
معماری بسته mipsel
نگهدارنده LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز -
حجم دانلود 36524
حجم نصب 236
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package provides the JNI library to invoke Z3 via its Java API.


جایگزین ها

بسته نسخه معماری مخزن
libz3-jni_4.8.10-1_amd64.deb 4.8.10 amd64 Debian main
libz3-jni_4.8.10-1_arm64.deb 4.8.10 arm64 Debian main
libz3-jni_4.8.10-1_armel.deb 4.8.10 armel Debian main
libz3-jni_4.8.10-1_armhf.deb 4.8.10 armhf Debian main
libz3-jni_4.8.10-1_i386.deb 4.8.10 i386 Debian main
libz3-jni_4.8.10-1_mips64el.deb 4.8.10 mips64el Debian main
libz3-jni_4.8.10-1_ppc64el.deb 4.8.10 ppc64el Debian main
libz3-jni_4.8.10-1_s390x.deb 4.8.10 s390x Debian main


نیازمندی

مقدار نام
= 4.8.10-1 libz3-dev
>= 2.4 libc6
>= 4.9 libstdc++6
>= 4.8.10 libz3-4


نحوه نصب


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

    sudo apt-get install libz3-jni_4.8.10-1_mipsel.deb


فایل ها

مسیرها
./usr/lib/mipsel-linux-gnu/jni/libz3java.so
./usr/share/doc/libz3-jni -> libz3-dev