z3-solver
The Z3 Theorem Prover
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
win-64/z3-solver-4.15.7.0-h4988c30_0.conda | conda | 4.15.7.0 | win-64 | main | 1 day ago | 104.82 KB | 13 | |
linux-aarch64/z3-solver-4.15.7.0-hbb65123_0.conda | conda | 4.15.7.0 | linux-aarch64 | main | 1 day ago | 111.15 KB | 14 | |
linux-ppc64le/z3-solver-4.15.7.0-hce535b3_0.conda | conda | 4.15.7.0 | linux-ppc64le | main | 1 day ago | 111.31 KB | 6 | |
linux-64/z3-solver-4.15.7.0-h700cf62_0.conda | conda | 4.15.7.0 | linux-64 | main | 1 day ago | 107.4 KB | 20 | |
osx-arm64/z3-solver-4.15.7.0-h02d6fc7_0.conda | conda | 4.15.7.0 | osx-arm64 | main | 1 day ago | 110.71 KB | 18 | |
osx-64/z3-solver-4.15.7.0-h17506e1_0.conda | conda | 4.15.7.0 | osx-64 | main | 1 day ago | 107.96 KB | 16 | |
win-64/z3-solver-4.15.5.0-h05e7deb_0.conda | conda | 4.15.5.0 | win-64 | main | 2 days ago | 104.83 KB | 26 | |
linux-aarch64/z3-solver-4.15.5.0-h77ce37a_0.conda | conda | 4.15.5.0 | linux-aarch64 | main | 2 days ago | 111.15 KB | 24 | |
linux-ppc64le/z3-solver-4.15.5.0-hcf195b2_0.conda | conda | 4.15.5.0 | linux-ppc64le | main | 2 days ago | 111.32 KB | 9 | |
linux-64/z3-solver-4.15.5.0-h4f046d9_0.conda | conda | 4.15.5.0 | linux-64 | main | 2 days ago | 107.45 KB | 56 | |
osx-64/z3-solver-4.15.5.0-hc712de0_0.conda | conda | 4.15.5.0 | osx-64 | main | 2 days ago | 107.97 KB | 21 | |
osx-arm64/z3-solver-4.15.5.0-h5760da0_0.conda | conda | 4.15.5.0 | osx-arm64 | main | 2 days ago | 110.71 KB | 19 | |
linux-aarch64/z3-solver-4.15.4.0-h7f71c3a_3.conda | conda | 4.15.4.0 | linux-aarch64 | main | 27 days ago | 114.23 KB | 57 | |
win-64/z3-solver-4.15.4.0-h459c541_3.conda | conda | 4.15.4.0 | win-64 | main | 27 days ago | 107.99 KB | 97 | |
linux-ppc64le/z3-solver-4.15.4.0-h58d1a4e_3.conda | conda | 4.15.4.0 | linux-ppc64le | main | 27 days ago | 114.38 KB | 19 | |
linux-64/z3-solver-4.15.4.0-ha6e432c_3.conda | conda | 4.15.4.0 | linux-64 | main | 27 days ago | 110.6 KB | 216 | |
osx-64/z3-solver-4.15.4.0-hee54068_3.conda | conda | 4.15.4.0 | osx-64 | main | 27 days ago | 111.13 KB | 58 | |
osx-arm64/z3-solver-4.15.4.0-h0a47043_3.conda | conda | 4.15.4.0 | osx-arm64 | main | 27 days ago | 113.78 KB | 56 | |
win-64/z3-solver-4.15.4-py310h038bfc9_2.conda | conda | 4.15.4 | win-64 | main | Dec 17, 2025, 09:55 AM | 229.76 KB | 76 | |
win-64/z3-solver-4.15.4-py313h954091d_2.conda | conda | 4.15.4 | win-64 | main | Dec 17, 2025, 09:55 AM | 299.66 KB | 89 | |
win-64/z3-solver-4.15.4-py314h1cc7cf7_2.conda | conda | 4.15.4 | win-64 | main | Dec 17, 2025, 09:55 AM | 302.42 KB | 42 | |
win-64/z3-solver-4.15.4-py312h26642aa_2.conda | conda | 4.15.4 | win-64 | main | Dec 17, 2025, 09:55 AM | 289.76 KB | 84 | |
win-64/z3-solver-4.15.4-py311hae3d275_2.conda | conda | 4.15.4 | win-64 | main | Dec 17, 2025, 09:55 AM | 301.78 KB | 85 | |
linux-aarch64/z3-solver-4.15.4-py312heb459df_2.conda | conda | 4.15.4 | linux-aarch64 | main | Dec 17, 2025, 06:15 AM | 295.54 KB | 64 | |
linux-aarch64/z3-solver-4.15.4-py311h7dbd7c0_2.conda | conda | 4.15.4 | linux-aarch64 | main | Dec 17, 2025, 06:15 AM | 307.49 KB | 68 |