About Anaconda Help Download Anaconda
Sign In
Anaconda.com

conda-forge / packages / z3-solver

The Z3 Theorem Prover

copied from cf-post-staging / z3-solver

Filters
Type Size Name Uploaded Downloads Labels
conda 111.6 kB | linux-aarch64/z3-solver-4.16.0.0-h3356e7a_0.conda  3 months and 20 days ago 110 main
conda 105.4 kB | win-64/z3-solver-4.16.0.0-h2de7590_0.conda  3 months and 20 days ago 169 main
conda 111.7 kB | linux-ppc64le/z3-solver-4.16.0.0-h791d46a_0.conda  3 months and 20 days ago 20 main
conda 107.9 kB | linux-64/z3-solver-4.16.0.0-h1f805a6_0.conda  3 months and 20 days ago 988 main
conda 108.7 kB | osx-64/z3-solver-4.16.0.0-hd1f87e3_0.conda  3 months and 20 days ago 95 main
conda 111.4 kB | osx-arm64/z3-solver-4.16.0.0-he5a10de_0.conda  3 months and 20 days ago 147 main
conda 105.0 kB | win-64/z3-solver-4.15.8.0-h02226c3_0.conda  3 months and 26 days ago 81 main
conda 111.2 kB | linux-aarch64/z3-solver-4.15.8.0-h2c30d2e_0.conda  3 months and 26 days ago 59 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.8.0-hacfa9ba_0.conda  3 months and 26 days ago 21 main
conda 107.4 kB | linux-64/z3-solver-4.15.8.0-h49543c7_0.conda  3 months and 26 days ago 389 main
conda 108.2 kB | osx-64/z3-solver-4.15.8.0-hb4833b0_0.conda  3 months and 26 days ago 68 main
conda 110.9 kB | osx-arm64/z3-solver-4.15.8.0-h63771dc_0.conda  3 months and 26 days ago 55 main
conda 104.8 kB | win-64/z3-solver-4.15.7.0-h4988c30_0.conda  3 months and 29 days ago 97 main
conda 111.1 kB | linux-aarch64/z3-solver-4.15.7.0-hbb65123_0.conda  3 months and 29 days ago 69 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.7.0-hce535b3_0.conda  3 months and 29 days ago 22 main
conda 107.4 kB | linux-64/z3-solver-4.15.7.0-h700cf62_0.conda  3 months and 29 days ago 392 main
conda 110.7 kB | osx-arm64/z3-solver-4.15.7.0-h02d6fc7_0.conda  3 months and 29 days ago 77 main
conda 108.0 kB | osx-64/z3-solver-4.15.7.0-h17506e1_0.conda  3 months and 30 days ago 62 main
conda 104.8 kB | win-64/z3-solver-4.15.5.0-h05e7deb_0.conda  3 months and 30 days ago 53 main
conda 111.1 kB | linux-aarch64/z3-solver-4.15.5.0-h77ce37a_0.conda  3 months and 30 days ago 43 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.5.0-hcf195b2_0.conda  3 months and 30 days ago 25 main
conda 107.4 kB | linux-64/z3-solver-4.15.5.0-h4f046d9_0.conda  3 months and 30 days ago 334 main
conda 108.0 kB | osx-64/z3-solver-4.15.5.0-hc712de0_0.conda  3 months and 30 days ago 39 main
conda 110.7 kB | osx-arm64/z3-solver-4.15.5.0-h5760da0_0.conda  3 months and 30 days ago 37 main
conda 114.2 kB | linux-aarch64/z3-solver-4.15.4.0-h7f71c3a_3.conda  4 months and 24 days ago 66 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.18) Legal | Privacy Policy