معرفی شرکت ها

python-z3_4.4.1-0.3build4_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

theorem prover from Microsoft Research - Python bindings
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe amd64
نام بسته python-z3
نام فایل بسته python-z3_4.4.1-0.3build4_amd64.deb
نسخه بسته 4.4.1
انتشار بسته 0.3build4
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز -
حجم دانلود 67040
حجم نصب 541
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 Python API.


جایگزین ها

بسته نسخه معماری مخزن
python-z3_4.4.1-0.3build4_i386.deb 4.4.1 i386 Ubuntu universe
python-z3c.autoinclude_0.3.5-0ubuntu1_all.deb 0.3.5 all Ubuntu universe
python-z3c.form_2.9.1-0ubuntu2_all.deb 2.9.1 all Ubuntu universe
python-z3c.formui_2.3.0-0ubuntu1_all.deb 2.3.0 all Ubuntu universe
python-z3c.macro_1.4.2-0ubuntu2_all.deb 1.4.2 all Ubuntu universe
python-z3c.optionstorage_1.0.7-0ubuntu5_all.deb 1.0.7 all Ubuntu universe
python-z3c.pt_2.2.3-0ubuntu1_all.deb 2.2.3 all Ubuntu universe
python-z3c.ptcompat_1.0.1-0ubuntu2_all.deb 1.0.1 all Ubuntu universe
python-z3c.template_1.4.1-0ubuntu1_all.deb 1.4.1 all Ubuntu universe
python-z3c_2.9.1-0ubuntu2_all.deb 2.9.1 all Ubuntu universe


نیازمندی

مقدار نام
= 4.4.1-0.3build4 libz3-dev
<< 2.8 python:any
>= 2.7.5-5~ python:any


نحوه نصب


نصب پکیج deb python-z3:

    sudo apt-get install python-z3_4.4.1-0.3build4_amd64.deb


فایل ها

مسیرها
./usr/lib/python2.7/dist-packages/z3.py
./usr/lib/python2.7/dist-packages/z3consts.py
./usr/lib/python2.7/dist-packages/z3core.py
./usr/lib/python2.7/dist-packages/z3num.py
./usr/lib/python2.7/dist-packages/z3poly.py
./usr/lib/python2.7/dist-packages/z3printer.py
./usr/lib/python2.7/dist-packages/z3rcf.py
./usr/lib/python2.7/dist-packages/z3test.py
./usr/lib/python2.7/dist-packages/z3types.py
./usr/lib/python2.7/dist-packages/z3util.py
./usr/lib/python2.7/dist-packages/libz3.so -> ../../x86_64-linux-gnu/libz3.so
./usr/share/doc/python-z3 -> libz3-dev