Home > Repositories > base > z3 (i586)
Resources:
Source files | Changes
Issues | Add a new issue
Download

z3: A theorem prover from Microsoft Research

Z3 is a theorem prover from Microsoft Research.
Name:z3
Release: 4.13.4-1mamba
Architecture:i586
Group:System/Libraries
Size:8,70 MB
Upstream URL:https://github.com/Z3Prover
Source RPM:z3
BrothersProvidesObsoletesRequiresRecommends
libz3
libz3-devel
z3-debug
z3 = 0:4.13.4-1mamba
z3(x86-32) = 0:4.13.4-1mamba
libc.so.6(GLIBC_2.38) [1]
libgcc_s.so.1 [1] [2]
libgcc_s.so.1(GCC_3.0) [1] [2]
libgcc_s.so.1(GCC_3.3.1) [1] [2]
libgcc_s.so.1(GCC_3.4) [1] [2]
libgcc_s.so.1(GCC_7.0.0) [1] [2]
libgcc_s.so.1(GLIBC_2.0) [1] [2]
libm.so.6 [1]
libm.so.6(GLIBC_2.0) [1]
libm.so.6(GLIBC_2.1) [1]
libm.so.6(GLIBC_2.29) [1]
libstdc++.so.6 [1] [2]
libstdc++.so.6(CXXABI_1.3) [1] [2]
libstdc++.so.6(CXXABI_1.3.15) [1]
libstdc++.so.6(CXXABI_1.3.2) [1] [2]
libstdc++.so.6(CXXABI_1.3.8) [1] [2]
libstdc++.so.6(CXXABI_1.3.9) [1] [2]
libstdc++.so.6(GLIBCXX_3.4) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.11) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.14) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.15) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.17) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.18) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.19) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.20) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.21) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.22) [1] [2]
libstdc++.so.6(GLIBCXX_3.4.26) [1]
libstdc++.so.6(GLIBCXX_3.4.29) [1]
libstdc++.so.6(GLIBCXX_3.4.30) [1]
libstdc++.so.6(GLIBCXX_3.4.32) [1]
libstdc++.so.6(GLIBCXX_3.4.9) [1] [2]
libz3 = 0:4.13.4-1mamba [1]
rtld(GNU_HASH) [1]
Provided files