z3-solver
The Z3 Theorem Prover
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-aarch64/z3-solver-4.16.0.0-h3356e7a_0.conda | conda | 4.16.0.0 | linux-aarch64 | main | Feb 19, 2026, 09:26 AM | 111.58 KB | 63 | |
win-64/z3-solver-4.16.0.0-h2de7590_0.conda | conda | 4.16.0.0 | win-64 | main | Feb 19, 2026, 09:25 AM | 105.45 KB | 99 | |
linux-ppc64le/z3-solver-4.16.0.0-h791d46a_0.conda | conda | 4.16.0.0 | linux-ppc64le | main | Feb 19, 2026, 09:24 AM | 111.74 KB | 17 | |
linux-64/z3-solver-4.16.0.0-h1f805a6_0.conda | conda | 4.16.0.0 | linux-64 | main | Feb 19, 2026, 09:20 AM | 107.88 KB | 562 | |
osx-64/z3-solver-4.16.0.0-hd1f87e3_0.conda | conda | 4.16.0.0 | macOS-64 | main | Feb 19, 2026, 09:12 AM | 108.68 KB | 59 | |
osx-arm64/z3-solver-4.16.0.0-he5a10de_0.conda | conda | 4.16.0.0 | macOS-arm64 | main | Feb 19, 2026, 08:54 AM | 111.38 KB | 95 | |
win-64/z3-solver-4.15.8.0-h02226c3_0.conda | conda | 4.15.8.0 | win-64 | main | Feb 13, 2026, 06:22 AM | 105 KB | 70 | |
linux-aarch64/z3-solver-4.15.8.0-h2c30d2e_0.conda | conda | 4.15.8.0 | linux-aarch64 | main | Feb 13, 2026, 06:20 AM | 111.15 KB | 54 | |
linux-ppc64le/z3-solver-4.15.8.0-hacfa9ba_0.conda | conda | 4.15.8.0 | linux-ppc64le | main | Feb 13, 2026, 06:20 AM | 111.3 KB | 18 | |
linux-64/z3-solver-4.15.8.0-h49543c7_0.conda | conda | 4.15.8.0 | linux-64 | main | Feb 13, 2026, 06:16 AM | 107.42 KB | 283 | |
osx-64/z3-solver-4.15.8.0-hb4833b0_0.conda | conda | 4.15.8.0 | macOS-64 | main | Feb 13, 2026, 06:06 AM | 108.25 KB | 59 | |
osx-arm64/z3-solver-4.15.8.0-h63771dc_0.conda | conda | 4.15.8.0 | macOS-arm64 | main | Feb 13, 2026, 05:54 AM | 110.94 KB | 48 | |
win-64/z3-solver-4.15.7.0-h4988c30_0.conda | conda | 4.15.7.0 | win-64 | main | Feb 9, 2026, 05:12 PM | 104.82 KB | 88 | |
linux-aarch64/z3-solver-4.15.7.0-hbb65123_0.conda | conda | 4.15.7.0 | linux-aarch64 | main | Feb 9, 2026, 05:11 PM | 111.15 KB | 66 | |
linux-ppc64le/z3-solver-4.15.7.0-hce535b3_0.conda | conda | 4.15.7.0 | linux-ppc64le | main | Feb 9, 2026, 05:09 PM | 111.31 KB | 19 | |
linux-64/z3-solver-4.15.7.0-h700cf62_0.conda | conda | 4.15.7.0 | linux-64 | main | Feb 9, 2026, 05:07 PM | 107.4 KB | 286 | |
osx-arm64/z3-solver-4.15.7.0-h02d6fc7_0.conda | conda | 4.15.7.0 | macOS-arm64 | main | Feb 9, 2026, 04:52 PM | 110.71 KB | 73 | |
osx-64/z3-solver-4.15.7.0-h17506e1_0.conda | conda | 4.15.7.0 | macOS-64 | main | Feb 9, 2026, 04:47 PM | 107.96 KB | 58 | |
win-64/z3-solver-4.15.5.0-h05e7deb_0.conda | conda | 4.15.5.0 | win-64 | main | Feb 8, 2026, 09:58 PM | 104.83 KB | 45 | |
linux-aarch64/z3-solver-4.15.5.0-h77ce37a_0.conda | conda | 4.15.5.0 | linux-aarch64 | main | Feb 8, 2026, 09:57 PM | 111.15 KB | 40 | |
linux-ppc64le/z3-solver-4.15.5.0-hcf195b2_0.conda | conda | 4.15.5.0 | linux-ppc64le | main | Feb 8, 2026, 09:56 PM | 111.32 KB | 22 | |
linux-64/z3-solver-4.15.5.0-h4f046d9_0.conda | conda | 4.15.5.0 | linux-64 | main | Feb 8, 2026, 09:52 PM | 107.45 KB | 238 | |
osx-64/z3-solver-4.15.5.0-hc712de0_0.conda | conda | 4.15.5.0 | macOS-64 | main | Feb 8, 2026, 09:42 PM | 107.97 KB | 35 | |
osx-arm64/z3-solver-4.15.5.0-h5760da0_0.conda | conda | 4.15.5.0 | macOS-arm64 | main | Feb 8, 2026, 09:39 PM | 110.71 KB | 31 | |
linux-aarch64/z3-solver-4.15.4.0-h7f71c3a_3.conda | conda | 4.15.4.0 | linux-aarch64 | main | Jan 15, 2026, 12:07 AM | 114.23 KB | 63 |