معرفی شرکت ها

z3-4.5.0-alt2.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

High-performance theorem prover
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic x86_64
نام بسته z3
نام فایل بسته z3-4.5.0-alt2.x86_64.rpm
نسخه بسته 4.5.0
انتشار بسته alt2
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 23 Apr 2019 10
هاست سازنده grenka-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز MIT
حجم دانلود 5.3M
حجم نصب 16.887M
Z3 is a high-performance theorem prover being developed at Microsoft Research.


جایگزین ها

بسته نسخه معماری مخزن
z3-4.5.0-alt2.i586.rpm 4.5.0 i586 ALT classic
z3-4.5.0-alt2.ppc64le.rpm 4.5.0 ppc64le ALT classic


نیازمندی

مقدار نام
- /lib64/ld-linux-x86-64.so.2
>= set:ihidc ld-linux-x86-64.so.2()(64bit)
- rpmlib(SetVersions)
- ld-linux-x86-64.so.2(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
- libgcc_s.so.1(GCC_3.4)(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libpthread.so.0(GLIBC_2.2.5)(64bit)
- libpthread.so.0(GLIBC_2.3.2)(64bit)
- librt.so.1(GLIBC_2.2.5)(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.1)(64bit)
- libstdc++.so.6(CXXABI_1.3.9)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 4.5.0-alt2:sisyphus+227564.2100.1.2 z3


نحوه نصب


نصب پکیج rpm z3:

    sudo apt-get install z3-4.5.0-alt2.x86_64.rpm


فایل ها

مسیرها
/usr/bin/z3
/usr/share/doc/z3-4.5.0
/usr/share/doc/z3-4.5.0/CMakeLists.txt
/usr/share/doc/z3-4.5.0/LICENSE.txt
/usr/share/doc/z3-4.5.0/RELEASE_NOTES


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2018-07-27

Updated build dependencies.

2018-03-26

(NMU) Rebuilt with python-3.6.4.

2017-10-09

Updated to upstream version 4.5.0.

2016-05-24

(AUTO) subst_x86_64.

2016-03-17

(NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10

2015-03-17

Initial build for Sisyphus