Home > Repositories > base > z3 (x86_64)
Z3 is a theorem prover from Microsoft Research.
Provided files
z3: A theorem prover from Microsoft Research
Z3 is a theorem prover from Microsoft Research.
| Name: | z3 |
| Release: | 4.13.3-1mamba |
| Architecture: | x86_64 |
| Group: | System/Libraries |
| Size: | 11.42 MB |
| Upstream URL: | https://github.com/Z3Prover |
| Source RPM: | z3 |
| Brothers | Provides | Obsoletes | Requires | Recommends |
|---|---|---|---|---|
| libz3 libz3-devel z3-debug | z3 = 0:4.13.3-1mamba z3(x86-64) = 0:4.13.3-1mamba | ld-linux-x86-64.so.2()(64bit) [1] ld-linux-x86-64.so.2(GLIBC_2.3)(64bit) [1] libc.so.6(GLIBC_2.38)(64bit) [1] libgcc_s.so.1()(64bit) [1] [2] libgcc_s.so.1(GCC_3.0)(64bit) [1] [2] libgcc_s.so.1(GCC_3.4)(64bit) [1] [2] libm.so.6()(64bit) [1] libm.so.6(GLIBC_2.2.5)(64bit) [1] libm.so.6(GLIBC_2.29)(64bit) [1] libstdc++.so.6()(64bit) [1] [2] libstdc++.so.6(CXXABI_1.3)(64bit) [1] [2] libstdc++.so.6(CXXABI_1.3.15)(64bit) [1] libstdc++.so.6(CXXABI_1.3.2)(64bit) [1] [2] libstdc++.so.6(CXXABI_1.3.9)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.11)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.14)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.15)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.17)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.18)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.19)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.20)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.21)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.22)(64bit) [1] [2] libstdc++.so.6(GLIBCXX_3.4.26)(64bit) [1] libstdc++.so.6(GLIBCXX_3.4.29)(64bit) [1] libstdc++.so.6(GLIBCXX_3.4.30)(64bit) [1] libstdc++.so.6(GLIBCXX_3.4.31)(64bit) [1] libstdc++.so.6(GLIBCXX_3.4.32)(64bit) [1] libstdc++.so.6(GLIBCXX_3.4.9)(64bit) [1] [2] libz3 = 0:4.13.3-1mamba [1] rtld(GNU_HASH) [1] |
