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  1 month and 16 days ago 52 main
conda 105.4 kB | win-64/z3-solver-4.16.0.0-h2de7590_0.conda  1 month and 16 days ago 72 main
conda 111.7 kB | linux-ppc64le/z3-solver-4.16.0.0-h791d46a_0.conda  1 month and 16 days ago 14 main
conda 107.9 kB | linux-64/z3-solver-4.16.0.0-h1f805a6_0.conda  1 month and 16 days ago 380 main
conda 108.7 kB | osx-64/z3-solver-4.16.0.0-hd1f87e3_0.conda  1 month and 16 days ago 44 main
conda 111.4 kB | osx-arm64/z3-solver-4.16.0.0-he5a10de_0.conda  1 month and 16 days ago 82 main
conda 105.0 kB | win-64/z3-solver-4.15.8.0-h02226c3_0.conda  1 month and 22 days ago 67 main
conda 111.2 kB | linux-aarch64/z3-solver-4.15.8.0-h2c30d2e_0.conda  1 month and 22 days ago 53 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.8.0-hacfa9ba_0.conda  1 month and 22 days ago 17 main
conda 107.4 kB | linux-64/z3-solver-4.15.8.0-h49543c7_0.conda  1 month and 22 days ago 237 main
conda 108.2 kB | osx-64/z3-solver-4.15.8.0-hb4833b0_0.conda  1 month and 22 days ago 53 main
conda 110.9 kB | osx-arm64/z3-solver-4.15.8.0-h63771dc_0.conda  1 month and 22 days ago 47 main
conda 104.8 kB | win-64/z3-solver-4.15.7.0-h4988c30_0.conda  1 month and 25 days ago 85 main
conda 111.1 kB | linux-aarch64/z3-solver-4.15.7.0-hbb65123_0.conda  1 month and 25 days ago 65 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.7.0-hce535b3_0.conda  1 month and 25 days ago 18 main
conda 107.4 kB | linux-64/z3-solver-4.15.7.0-h700cf62_0.conda  1 month and 25 days ago 240 main
conda 110.7 kB | osx-arm64/z3-solver-4.15.7.0-h02d6fc7_0.conda  1 month and 25 days ago 71 main
conda 108.0 kB | osx-64/z3-solver-4.15.7.0-h17506e1_0.conda  1 month and 25 days ago 57 main
conda 104.8 kB | win-64/z3-solver-4.15.5.0-h05e7deb_0.conda  1 month and 26 days ago 42 main
conda 111.1 kB | linux-aarch64/z3-solver-4.15.5.0-h77ce37a_0.conda  1 month and 26 days ago 39 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.5.0-hcf195b2_0.conda  1 month and 26 days ago 21 main
conda 107.4 kB | linux-64/z3-solver-4.15.5.0-h4f046d9_0.conda  1 month and 26 days ago 193 main
conda 108.0 kB | osx-64/z3-solver-4.15.5.0-hc712de0_0.conda  1 month and 26 days ago 33 main
conda 110.7 kB | osx-arm64/z3-solver-4.15.5.0-h5760da0_0.conda  1 month and 26 days ago 30 main
conda 114.2 kB | linux-aarch64/z3-solver-4.15.4.0-h7f71c3a_3.conda  2 months and 20 days ago 63 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.15) Legal | Privacy Policy