معرفی شرکت ها

z3-4.8.8-alt1.ppc64le.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

High-performance theorem prover
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p10
مخزن ALTLinux classic ppc64le
نام بسته z3
نام فایل بسته z3-4.8.8-alt1.ppc64le.rpm
نسخه بسته 4.8.8
انتشار بسته alt1
معماری بسته ppc64le
نگهدارنده -
تاریخ ساخت Fri 10 Jul 2020 12
هاست سازنده darktemplar-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/Z3Prover/z3
مجوز MIT
حجم دانلود 6.9M
حجم نصب 28.076M
Z3 is a high-performance theorem prover being developed at Microsoft Research.


جایگزین ها

بسته نسخه معماری مخزن
z3-debuginfo-4.8.8-alt1.ppc64le.rpm 4.8.8 ppc64le ALT debuginfo


نیازمندی

مقدار نام
- /lib64/ld64.so.2
- libc.so.6(GLIBC_2.17)(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
>= set:mhZrwRupsDZLS6ElADUEn7aIGuKwy8IQnrD0Es65smUxSWhZvScnKgRvg2Z4hC8EeXpTKqEZpwk7TXAFs1 libgmp.so.10()(64bit)
- rpmlib(SetVersions)
- libm.so.6(GLIBC_2.17)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libpthread.so.0(GLIBC_2.17)(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.5)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.17)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.22)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 4.8.8-alt1:sisyphus+254751.100.1.1 z3


نحوه نصب


نصب پکیج rpm z3:

    sudo apt-get install z3-4.8.8-alt1.ppc64le.rpm


فایل ها

مسیرها
/usr/bin/z3
/usr/share/doc/z3-4.8.8
/usr/share/doc/z3-4.8.8/LICENSE.txt
/usr/share/doc/z3-4.8.8/README-CMake.md
/usr/share/doc/z3-4.8.8/README.md
/usr/share/doc/z3-4.8.8/RELEASE_NOTES


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

تاریخ آخرین تغییر جزئیات
2020-07-10

Updated to upstream version 4.8.8.

2020-04-02

Updated to upstream version 4.8.7.
Disabled bindings for python-2.

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