معرفی شرکت ها


python3-z3_4.8.7-4build1_amd64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

theorem prover from Microsoft Research - Python 3 bindings
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Focal-20.04
مخزن Ubuntu universe amd64
نام بسته python3-z3
نام فایل بسته python3-z3_4.8.7-4build1_amd64.deb
نسخه بسته 4.8.7
انتشار بسته 4build1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز -
حجم دانلود 76544
حجم نصب 581
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 3 API.


جایگزین ها

بسته نسخه معماری مخزن
python3-z3_4.8.7-4build1_i386.deb 4.8.7 i386 Ubuntu universe


نیازمندی

مقدار نام
= 4.8.7-4build1 libz3-dev
- python3-pkg-resources
- python3:any


نحوه نصب


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

    sudo apt-get install python3-z3_4.8.7-4build1_amd64.deb


فایل ها

مسیرها
./usr/lib/python3/dist-packages/z3/__init__.py
./usr/lib/python3/dist-packages/z3/z3.py
./usr/lib/python3/dist-packages/z3/z3consts.py
./usr/lib/python3/dist-packages/z3/z3core.py
./usr/lib/python3/dist-packages/z3/z3num.py
./usr/lib/python3/dist-packages/z3/z3poly.py
./usr/lib/python3/dist-packages/z3/z3printer.py
./usr/lib/python3/dist-packages/z3/z3rcf.py
./usr/lib/python3/dist-packages/z3/z3test.py
./usr/lib/python3/dist-packages/z3/z3types.py
./usr/lib/python3/dist-packages/z3/z3util.py
./usr/share/doc/python3-z3 -> libz3-dev