معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

Shared library of z3

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p9
مخزن	ALTLinux classic ppc64le
نام بسته	libz3
نام فایل بسته	libz3-4.5.0-alt2.ppc64le.rpm
نسخه بسته	4.5.0
انتشار بسته	alt2
معماری بسته	ppc64le
نگهدارنده	-
تاریخ ساخت	Fri 07 Jun 2019 08
هاست سازنده	wasp25.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/Z3Prover/z3
مجوز	MIT
حجم دانلود	6.1M
حجم نصب	21.574M

Z3 is a high-performance theorem prover being developed at Microsoft Research. This package contains shared library of z3.

جایگزین ها

بسته	نسخه	معماری	مخزن
libz3-4.5.0-alt2.i586.rpm	4.5.0	i586	ALT classic
libz3-4.5.0-alt2.x86_64.rpm	4.5.0	x86_64	ALT classic
libz3-devel-4.5.0-alt2.noarch.rpm	4.5.0	noarch	ALT classic
libz3-devel-docs-4.5.0-alt2.noarch.rpm	4.5.0	noarch	ALT classic

نیازمندی

مقدار	نام
>= set:jir9c	ld64.so.2()(64bit)
-	rpmlib(SetVersions)
-	ld64.so.2(GLIBC_2.22)(64bit)
-	libc.so.6(GLIBC_2.17)(64bit)
-	libgcc_s.so.1(GCC_3.0)(64bit)
-	libm.so.6(GLIBC_2.17)(64bit)
-	libpthread.so.0(GLIBC_2.17)(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)

ارائه دهنده

مقدار	نام
= set:ndOPTIGJM2CoxacXapoCuZ0iKftod6ag99feDECBsZy8nHHH4Jsz5rn9EHWEcuWI9jINQyUzWM9bhkLYBhGfCEcqgc4ypy431XWpo3gg6qgB4ZlilYd9ZK3JIXKj0kfPv4FJFAZza9JXnkBcsMk8iU4qrqhk4WEnof0LOl7uksBBxx61eQIrJxnH4nILbwOOEfzb7s69VQNgXW7D6M6EH1M1LwZ75DlOwZHMKpQHk1LylI16111KLfJZ69kHkWR8M3FyVHkRmugCI6NiLiTjbdtOq9tSc9ZiUAtQCckDheM3BGjFEAHuKG83A1eZumCv3tX4YhrNVYwpSaCwCknR70PxmIEF5BvwGc7UQDKZiVtg3XaMlIdCukSNQIdxd1a9G0pLYSqodVRXixhhcLOYZ6YR6v1vLKCrcJCCSfSFGFIXYxnPJfKe3S5QZGmhTScDZgAfU32EHZ3hgpJg0jdAokUXDHWhsjzj9YjziHZ5P3AO5YUtDZKxJsyQBvZgkjx7ZuVq1fQKOFhsAyQKqZzsA4258Zw03Z0tAXs3NSzYEdEPuQUtKGNQwp8ssEAthUmodYywEze0MFwumrsXUZzEGBxWWwk6clyNqlIvZjUrwOY5LtN2s7wfky9vKDEYR4EZGBPMOeVoMNqbpnKGnZfboNFrZDpllBw2Z0y1ZFgPZKYAXZw22ndEnQTxrNchbEcCvkbwZfgutmjZfq2w20Qcy8BEUDiL8lB7zW4tDSCQ7zW7HzTj9Ji9uI10Ob45OhWhldeDfHNv5HTpkZw2AOQuBhubyOxiZlWbXdgZ40a6yvjUAmZwEJ5di6J7cbPUGio0xBgB8hW6ze5ZywFtnH9WjAG4HJzYcqWwqoTYpQuPToocJxF6AGTMnBA1AdGCQikkrIoMcpiZImjiHYghYKjqgOsZJ9X6qnpPwJEnJJVuah8vzESgncqpmhTBeJnYp1a55zPw842xlIGo5orB38mZI0D115q6mZrH2ffrzEHyO3FMM8tCfmXxaqy4hkDQukR0ZnFz8c7kwcpCvbRxctRYg1pE6g9J5Xl0OckVfqu3PUNiP9LEgmW3eKpFuEZ9YgbogUz9iMqIlEulphSdiBuIveJLXN3YpoxLpW9822xvmFcMP4t9sqdvhd99kefDmy4apNfYjsaF26nvUQLgqNEcysZaV7qHsZEz6EwxtEGXIePssoLfDiaywaoOtgA13gfXZFZ7jdqmHfHiqASssJsnKfUbhxQZ9S9AbD4ynrkKUCYwuHXuKqVBik44QmWY6pgS6QlaDst2mIzcMTskHIKk5ULewI8ozxraO9gGt7A22GVojrt4WAPDZlncK4yAb5lDEtlpA3aNIhA3dn69IQaaLYZyppVHZHdiJgNrOA	libz3.so()(64bit)
= 4.5.0-alt2:sisyphus+227564.2100.1.2	libz3

مقدار

نام

= set:ndOPTIGJM2CoxacXapoCuZ0iKftod6ag99feDECBsZy8nHHH4Jsz5rn9EHWEcuWI9jINQyUzWM9bhkLYBhGfCEcqgc4ypy431XWpo3gg6qgB4ZlilYd9ZK3JIXKj0kfPv4FJFAZza9JXnkBcsMk8iU4qrqhk4WEnof0LOl7uksBBxx61eQIrJxnH4nILbwOOEfzb7s69VQNgXW7D6M6EH1M1LwZ75DlOwZHMKpQHk1LylI16111KLfJZ69kHkWR8M3FyVHkRmugCI6NiLiTjbdtOq9tSc9ZiUAtQCckDheM3BGjFEAHuKG83A1eZumCv3tX4YhrNVYwpSaCwCknR70PxmIEF5BvwGc7UQDKZiVtg3XaMlIdCukSNQIdxd1a9G0pLYSqodVRXixhhcLOYZ6YR6v1vLKCrcJCCSfSFGFIXYxnPJfKe3S5QZGmhTScDZgAfU32EHZ3hgpJg0jdAokUXDHWhsjzj9YjziHZ5P3AO5YUtDZKxJsyQBvZgkjx7ZuVq1fQKOFhsAyQKqZzsA4258Zw03Z0tAXs3NSzYEdEPuQUtKGNQwp8ssEAthUmodYywEze0MFwumrsXUZzEGBxWWwk6clyNqlIvZjUrwOY5LtN2s7wfky9vKDEYR4EZGBPMOeVoMNqbpnKGnZfboNFrZDpllBw2Z0y1ZFgPZKYAXZw22ndEnQTxrNchbEcCvkbwZfgutmjZfq2w20Qcy8BEUDiL8lB7zW4tDSCQ7zW7HzTj9Ji9uI10Ob45OhWhldeDfHNv5HTpkZw2AOQuBhubyOxiZlWbXdgZ40a6yvjUAmZwEJ5di6J7cbPUGio0xBgB8hW6ze5ZywFtnH9WjAG4HJzYcqWwqoTYpQuPToocJxF6AGTMnBA1AdGCQikkrIoMcpiZImjiHYghYKjqgOsZJ9X6qnpPwJEnJJVuah8vzESgncqpmhTBeJnYp1a55zPw842xlIGo5orB38mZI0D115q6mZrH2ffrzEHyO3FMM8tCfmXxaqy4hkDQukR0ZnFz8c7kwcpCvbRxctRYg1pE6g9J5Xl0OckVfqu3PUNiP9LEgmW3eKpFuEZ9YgbogUz9iMqIlEulphSdiBuIveJLXN3YpoxLpW9822xvmFcMP4t9sqdvhd99kefDmy4apNfYjsaF26nvUQLgqNEcysZaV7qHsZEz6EwxtEGXIePssoLfDiaywaoOtgA13gfXZFZ7jdqmHfHiqASssJsnKfUbhxQZ9S9AbD4ynrkKUCYwuHXuKqVBik44QmWY6pgS6QlaDst2mIzcMTskHIKk5ULewI8ozxraO9gGt7A22GVojrt4WAPDZlncK4yAb5lDEtlpA3aNIhA3dn69IQaaLYZyppVHZHdiJgNrOA

libz3.so()(64bit)

= 4.5.0-alt2:sisyphus+227564.2100.1.2

libz3

نحوه نصب

نصب پکیج rpm libz3:

sudo apt-get install libz3-4.5.0-alt2.ppc64le.rpm

فایل ها

مسیرها
/usr/lib64/libz3.so

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

تاریخ آخرین تغییر	جزئیات
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