libz3
The Z3 Theorem Prover
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
win-64/libz3-4.15.8-h56f2b75_0.conda | conda | 4.15.8 | win-64 | main | 1 day ago | 11.38 MB | 25 | |
linux-aarch64/libz3-4.15.8-hbd9a09b_0.conda | conda | 4.15.8 | linux-aarch64 | main | 1 day ago | 23.96 MB | 17 | |
linux-ppc64le/libz3-4.15.8-h9f0e0e5_0.conda | conda | 4.15.8 | linux-ppc64le | main | 1 day ago | 26.17 MB | 8 | |
linux-64/libz3-4.15.8-h9e02651_0.conda | conda | 4.15.8 | linux-64 | main | 1 day ago | 21.71 MB | 32 | |
osx-64/libz3-4.15.8-h5f7a02b_0.conda | conda | 4.15.8 | osx-64 | main | 1 day ago | 16.7 MB | 17 | |
osx-arm64/libz3-4.15.8-h5722624_0.conda | conda | 4.15.8 | osx-arm64 | main | 1 day ago | 14.87 MB | 16 | |
win-64/libz3-4.15.7-h56f2b75_0.conda | conda | 4.15.7 | win-64 | main | 5 days ago | 11.38 MB | 69 | |
linux-aarch64/libz3-4.15.7-hbd9a09b_0.conda | conda | 4.15.7 | linux-aarch64 | main | 5 days ago | 23.97 MB | 49 | |
linux-ppc64le/libz3-4.15.7-h9f0e0e5_0.conda | conda | 4.15.7 | linux-ppc64le | main | 5 days ago | 26.19 MB | 9 | |
linux-64/libz3-4.15.7-h9e02651_0.conda | conda | 4.15.7 | linux-64 | main | 5 days ago | 21.72 MB | 115 | |
osx-arm64/libz3-4.15.7-h5722624_0.conda | conda | 4.15.7 | osx-arm64 | main | 5 days ago | 14.88 MB | 45 | |
osx-64/libz3-4.15.7-h5f7a02b_0.conda | conda | 4.15.7 | osx-64 | main | 5 days ago | 16.71 MB | 38 | |
win-64/libz3-4.15.5-h56f2b75_0.conda | conda | 4.15.5 | win-64 | main | 5 days ago | 11.37 MB | 24 | |
linux-aarch64/libz3-4.15.5-hbd9a09b_0.conda | conda | 4.15.5 | linux-aarch64 | main | 5 days ago | 23.96 MB | 24 | |
linux-ppc64le/libz3-4.15.5-h9f0e0e5_0.conda | conda | 4.15.5 | linux-ppc64le | main | 5 days ago | 26.15 MB | 7 | |
linux-64/libz3-4.15.5-h9e02651_0.conda | conda | 4.15.5 | linux-64 | main | 5 days ago | 21.69 MB | 110 | |
osx-64/libz3-4.15.5-h5f7a02b_0.conda | conda | 4.15.5 | osx-64 | main | 5 days ago | 16.69 MB | 20 | |
osx-arm64/libz3-4.15.5-h5722624_0.conda | conda | 4.15.5 | osx-arm64 | main | 5 days ago | 14.87 MB | 21 | |
linux-aarch64/libz3-4.15.4-hbd9a09b_3.conda | conda | 4.15.4 | linux-aarch64 | main | Jan 15, 2026, 12:07 AM | 23.85 MB | 55 | |
win-64/libz3-4.15.4-h56f2b75_3.conda | conda | 4.15.4 | win-64 | main | Jan 15, 2026, 12:06 AM | 11.23 MB | 102 | |
linux-ppc64le/libz3-4.15.4-h9f0e0e5_3.conda | conda | 4.15.4 | linux-ppc64le | main | Jan 15, 2026, 12:04 AM | 26.06 MB | 15 | |
linux-64/libz3-4.15.4-h9e02651_3.conda | conda | 4.15.4 | linux-64 | main | Jan 15, 2026, 12:02 AM | 21.62 MB | 219 | |
osx-64/libz3-4.15.4-h5f7a02b_3.conda | conda | 4.15.4 | osx-64 | main | Jan 14, 2026, 11:46 PM | 16.65 MB | 56 | |
osx-arm64/libz3-4.15.4-h5722624_3.conda | conda | 4.15.4 | osx-arm64 | main | Jan 14, 2026, 11:44 PM | 14.85 MB | 49 | |
win-64/libz3-4.15.4-h56f2b75_2.conda | conda | 4.15.4 | win-64 | main | Dec 17, 2025, 09:55 AM | 11.23 MB | 167 |