معرفی شرکت ها

libz3-cil_4.4.1-0.3build4_i386.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

theorem prover from Microsoft Research - CLI bindings
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe i386
نام بسته libz3-cil
نام فایل بسته libz3-cil_4.4.1-0.3build4_i386.deb
نسخه بسته 4.4.1
انتشار بسته 0.3build4
معماری بسته i386
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز -
حجم دانلود 40620
حجم نصب 206
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 .NET API.


جایگزین ها

بسته نسخه معماری مخزن
libz3-cil_4.4.1-0.3build4_amd64.deb 4.4.1 amd64 Ubuntu universe


نیازمندی

مقدار نام
= 4.4.1-0.3build4 libz3-dev
>= 4.6.1.3 libmono-corlib4.5-cil
>= 4.6.1.3 libmono-system-numerics4.0-cil


نحوه نصب


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

    sudo apt-get install libz3-cil_4.4.1-0.3build4_i386.deb


فایل ها

مسیرها
./usr/lib/z3/Microsoft.Z3.dll
./usr/lib/z3/Microsoft.Z3.dll.config
./usr/share/doc/libz3-cil -> libz3-dev