z3prover
The Z3 Theorem Prover
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
win-64/z3prover-4.15.8-hf492d85_0.conda | conda | 4.15.8 | win-64 | main | 1 day ago | 7.47 KB | 13 | |
linux-aarch64/z3prover-4.15.8-h1460552_0.conda | conda | 4.15.8 | linux-aarch64 | main | 1 day ago | 7.21 KB | 8 | |
linux-ppc64le/z3prover-4.15.8-h6bba78a_0.conda | conda | 4.15.8 | linux-ppc64le | main | 1 day ago | 7.21 KB | 7 | |
linux-64/z3prover-4.15.8-hea32621_0.conda | conda | 4.15.8 | linux-64 | main | 1 day ago | 7.21 KB | 17 | |
osx-64/z3prover-4.15.8-hf1ffaa7_0.conda | conda | 4.15.8 | osx-64 | main | 1 day ago | 6.95 KB | 12 | |
osx-arm64/z3prover-4.15.8-h34b35ab_0.conda | conda | 4.15.8 | osx-arm64 | main | 1 day ago | 6.94 KB | 10 | |
win-64/z3prover-4.15.7-heb6c26a_0.conda | conda | 4.15.7 | win-64 | main | 4 days ago | 7.47 KB | 16 | |
linux-aarch64/z3prover-4.15.7-h447fb53_0.conda | conda | 4.15.7 | linux-aarch64 | main | 4 days ago | 7.21 KB | 19 | |
linux-ppc64le/z3prover-4.15.7-h6b5ecae_0.conda | conda | 4.15.7 | linux-ppc64le | main | 4 days ago | 7.35 KB | 6 | |
linux-64/z3prover-4.15.7-h425f16b_0.conda | conda | 4.15.7 | linux-64 | main | 4 days ago | 7.38 KB | 37 | |
osx-arm64/z3prover-4.15.7-h0a221aa_0.conda | conda | 4.15.7 | osx-arm64 | main | 4 days ago | 6.95 KB | 13 | |
osx-64/z3prover-4.15.7-hc798246_0.conda | conda | 4.15.7 | osx-64 | main | 4 days ago | 6.95 KB | 13 | |
win-64/z3prover-4.15.5-h6cf1f50_0.conda | conda | 4.15.5 | win-64 | main | 5 days ago | 7.47 KB | 21 | |
linux-aarch64/z3prover-4.15.5-h90a6ac6_0.conda | conda | 4.15.5 | linux-aarch64 | main | 5 days ago | 7.21 KB | 18 | |
linux-ppc64le/z3prover-4.15.5-h42aa62c_0.conda | conda | 4.15.5 | linux-ppc64le | main | 5 days ago | 7.35 KB | 7 | |
linux-64/z3prover-4.15.5-hcafbacf_0.conda | conda | 4.15.5 | linux-64 | main | 5 days ago | 7.37 KB | 37 | |
osx-64/z3prover-4.15.5-hb654cfe_0.conda | conda | 4.15.5 | osx-64 | main | 5 days ago | 6.95 KB | 20 | |
osx-arm64/z3prover-4.15.5-h210c932_0.conda | conda | 4.15.5 | osx-arm64 | main | 5 days ago | 6.95 KB | 20 | |
win-64/z3prover-4.15.4-h0099fbe_3.conda | conda | 4.15.4 | win-64 | main | Jan 15, 2026, 12:07 AM | 11.14 KB | 30 | |
linux-aarch64/z3prover-4.15.4-h32ab2e6_3.conda | conda | 4.15.4 | linux-aarch64 | main | Jan 15, 2026, 12:07 AM | 10.87 KB | 29 | |
linux-ppc64le/z3prover-4.15.4-hf68cdba_3.conda | conda | 4.15.4 | linux-ppc64le | main | Jan 15, 2026, 12:04 AM | 11.02 KB | 15 | |
linux-64/z3prover-4.15.4-hb575c07_3.conda | conda | 4.15.4 | linux-64 | main | Jan 15, 2026, 12:02 AM | 11.03 KB | 86 | |
osx-64/z3prover-4.15.4-h795ccfb_3.conda | conda | 4.15.4 | osx-64 | main | Jan 14, 2026, 11:46 PM | 10.62 KB | 26 | |
osx-arm64/z3prover-4.15.4-h57fbb89_3.conda | conda | 4.15.4 | osx-arm64 | main | Jan 14, 2026, 11:44 PM | 10.61 KB | 29 | |
win-64/z3prover-4.15.4-h9d72e5d_2.conda | conda | 4.15.4 | win-64 | main | Dec 17, 2025, 09:55 AM | 9.84 KB | 34 |