معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Shared library of z3

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p9
مخزن	ALTLinux classic i586
نام بسته	libz3
نام فایل بسته	libz3-4.5.0-alt2.i586.rpm
نسخه بسته	4.5.0
انتشار بسته	alt2
معماری بسته	i586
نگهدارنده	-
تاریخ ساخت	Tue 23 Apr 2019 10
هاست سازنده	grenka-sisyphus.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/Z3Prover/z3
مجوز	MIT
حجم دانلود	5.8M
حجم نصب	18.499M

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

جایگزین ها

بسته	نسخه	معماری	مخزن
libz3-4.5.0-alt2.ppc64le.rpm	4.5.0	ppc64le	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

نیازمندی

مقدار	نام
-	libc.so.6(GLIBC_2.0)
-	libc.so.6(GLIBC_2.1.3)
-	libc.so.6(GLIBC_2.2)
-	libc.so.6(GLIBC_2.3.4)
-	libc.so.6(GLIBC_2.4)
-	libgcc_s.so.1(GCC_3.0)
-	libgcc_s.so.1(GCC_3.4)
-	libgcc_s.so.1(GCC_7.0.0)
-	libgcc_s.so.1(GLIBC_2.0)
-	libm.so.6(GLIBC_2.0)
-	libm.so.6(GLIBC_2.1)
-	libpthread.so.0(GLIBC_2.0)
-	libpthread.so.0(GLIBC_2.1)
-	libpthread.so.0(GLIBC_2.3.2)
-	librt.so.1(GLIBC_2.2)
-	libstdc++.so.6(CXXABI_1.3)
-	libstdc++.so.6(CXXABI_1.3.1)
-	libstdc++.so.6(CXXABI_1.3.8)
-	libstdc++.so.6(CXXABI_1.3.9)
-	libstdc++.so.6(GLIBCXX_3.4)
-	libstdc++.so.6(GLIBCXX_3.4.11)
-	libstdc++.so.6(GLIBCXX_3.4.15)
-	libstdc++.so.6(GLIBCXX_3.4.20)
-	libstdc++.so.6(GLIBCXX_3.4.21)
-	libstdc++.so.6(GLIBCXX_3.4.9)
-	rtld(GNU_HASH)
-	rpmlib(PayloadIsLzma)

ارائه دهنده

مقدار	نام
= set:ndOPTIGJM2CoxacXapoCuZ0iKftod6aEbCcPzP9Gp9TLwsJKKiQOdmItBwKGzOUFPCcN6jbyfG3DI4hZ2vpAWz9az643xoC8NgMKu6S04Ax6k9xv9lNTAYX3JI7xsm90GDVfyQSkOZxBASZbEa9PA8xjEJF5hhEzuxZ0MHsRx75nppoEhw3dXmrURaN5XX2EIcWPUO1DhietcQKZhD6M6EH1M1LwZ75DlOwZHMKpQHkVRh0t5rwhggwXXjrLBgJiFnz0fAaCLilrV1pOq4bZaQZ4bdtOq9tSc9ZiUAtQCckDhe0zXih9nZcl5pwcMNTJcZCErDwfqbeD7cPmN4QAWGZgwVgbmQQyOf0SyFftZ5OXw6SlwHorcZ8OeCCJ9I9g9h58XBTm3H9LunacayVlCLTUHdZiUXRRszFRQQZhXkRkStZgLCrvst6IbEZBJyKJpeZ18vM74gnXD8EIm8wF6icaYZ3nRzUC6DiUD6BmXHV1iV2uYKPvfIBjAKYP7EC2fYZcR2uEtBjzU85FtRZnU894agZh06WxeOtKxoXhuQ6QpfqYenRoqMc4eekOK8sbI6uhgQh70UkgfHdKtYZxkROgttga3CaNoJaSfZxYdgpZiuXy5Ue0vE4jZsZ4kZq9wzZwbXAz17HJAtVGuRZHw57rxlll2llNA1NwZAEVvDDsZDggUG1Z2WXMJoCE5k6PfG5MZn8LeHFZnd1g10q6hAikYjFnAGOzhtyKjrjWzhZ3m7LDiqBiYo30An8aAzQzGqsevmzZGoZecGvgwkCSHcOrhkekOLACdRj0a6yvjUAmZwEJ5di6J7cbPUGio0xBgB8hW6ze5ZywFtnH9WjAG4HJzYcqWwqoTYpQuPToocJxF6mVZJTMnBA1AdGCQiKgupdmcoCcFvSqiqAyLXA6AcTvDIrEtBd3SyuRSCXF4xYdyq3tNEBp5tnWQuND5Ekkce3yg84mNGylwJlewoZ33s64kEpoVLH2ffrzEHyO3FMM8tCfmXxaqy4hkDQukR0ZnFz8c7kwcpCvbRxctRYg1pE6g9J5Xl0OckVfqu3PUNiP9LEgmW3eKpFuEZ9YgbogUz9iMqIlEulphSdiBuIveJLXN3YpoxLpW9822xvmFcMP4t9sqdvhd99kefDmy4apNfYjsaF26nvUQLgqNEcysZaV7qHsZEz6EwxtEGXIePssoLfDiaywaoOtgA13gfrXHkzCRWPGA6Fd7qyT7YBEgWZkX4OBj2NHdansjugLRtfnJYi9a22qbtuzc8r3WaBjKe1bSh6UreGlmnG2Yn7gm4INMd5V48RK3i11RsIFJe2tOVjZGb6n2hOByGjQKGcO1BoS8OxCbz4mq5BnZvBIIYRZJ69WoA91	libz3.so
= 4.5.0-alt2:sisyphus+227564.2100.1.2	libz3

مقدار

نام

= set:ndOPTIGJM2CoxacXapoCuZ0iKftod6aEbCcPzP9Gp9TLwsJKKiQOdmItBwKGzOUFPCcN6jbyfG3DI4hZ2vpAWz9az643xoC8NgMKu6S04Ax6k9xv9lNTAYX3JI7xsm90GDVfyQSkOZxBASZbEa9PA8xjEJF5hhEzuxZ0MHsRx75nppoEhw3dXmrURaN5XX2EIcWPUO1DhietcQKZhD6M6EH1M1LwZ75DlOwZHMKpQHkVRh0t5rwhggwXXjrLBgJiFnz0fAaCLilrV1pOq4bZaQZ4bdtOq9tSc9ZiUAtQCckDhe0zXih9nZcl5pwcMNTJcZCErDwfqbeD7cPmN4QAWGZgwVgbmQQyOf0SyFftZ5OXw6SlwHorcZ8OeCCJ9I9g9h58XBTm3H9LunacayVlCLTUHdZiUXRRszFRQQZhXkRkStZgLCrvst6IbEZBJyKJpeZ18vM74gnXD8EIm8wF6icaYZ3nRzUC6DiUD6BmXHV1iV2uYKPvfIBjAKYP7EC2fYZcR2uEtBjzU85FtRZnU894agZh06WxeOtKxoXhuQ6QpfqYenRoqMc4eekOK8sbI6uhgQh70UkgfHdKtYZxkROgttga3CaNoJaSfZxYdgpZiuXy5Ue0vE4jZsZ4kZq9wzZwbXAz17HJAtVGuRZHw57rxlll2llNA1NwZAEVvDDsZDggUG1Z2WXMJoCE5k6PfG5MZn8LeHFZnd1g10q6hAikYjFnAGOzhtyKjrjWzhZ3m7LDiqBiYo30An8aAzQzGqsevmzZGoZecGvgwkCSHcOrhkekOLACdRj0a6yvjUAmZwEJ5di6J7cbPUGio0xBgB8hW6ze5ZywFtnH9WjAG4HJzYcqWwqoTYpQuPToocJxF6mVZJTMnBA1AdGCQiKgupdmcoCcFvSqiqAyLXA6AcTvDIrEtBd3SyuRSCXF4xYdyq3tNEBp5tnWQuND5Ekkce3yg84mNGylwJlewoZ33s64kEpoVLH2ffrzEHyO3FMM8tCfmXxaqy4hkDQukR0ZnFz8c7kwcpCvbRxctRYg1pE6g9J5Xl0OckVfqu3PUNiP9LEgmW3eKpFuEZ9YgbogUz9iMqIlEulphSdiBuIveJLXN3YpoxLpW9822xvmFcMP4t9sqdvhd99kefDmy4apNfYjsaF26nvUQLgqNEcysZaV7qHsZEz6EwxtEGXIePssoLfDiaywaoOtgA13gfrXHkzCRWPGA6Fd7qyT7YBEgWZkX4OBj2NHdansjugLRtfnJYi9a22qbtuzc8r3WaBjKe1bSh6UreGlmnG2Yn7gm4INMd5V48RK3i11RsIFJe2tOVjZGb6n2hOByGjQKGcO1BoS8OxCbz4mq5BnZvBIIYRZJ69WoA91

libz3.so

= 4.5.0-alt2:sisyphus+227564.2100.1.2

libz3

نحوه نصب

نصب پکیج rpm libz3:

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

فایل ها

مسیرها
/usr/lib/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