معرفی شرکت ها


libz3-jni_4.8.12-3.1_i386.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

theorem prover from Microsoft Research - JNI library
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Mantic-23.10
مخزن Ubuntu universe i386
نام بسته libz3-jni
نام فایل بسته libz3-jni_4.8.12-3.1_i386.deb
نسخه بسته 4.8.12
انتشار بسته 3.1
معماری بسته i386
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز -
حجم دانلود 48110
حجم نصب 236
-


جایگزین ها

بسته نسخه معماری مخزن
libz3-jni_4.8.12-3.1_amd64.deb 4.8.12 amd64 Ubuntu universe


نحوه نصب


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

    sudo apt-get install libz3-jni_4.8.12-3.1_i386.deb