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 104.8 kB | win-64/z3-solver-4.15.7.0-h4988c30_0.conda  1 day and 1 hour ago 19 main
conda 111.1 kB | linux-aarch64/z3-solver-4.15.7.0-hbb65123_0.conda  1 day and 1 hour ago 20 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.7.0-hce535b3_0.conda  1 day and 1 hour ago 7 main
conda 107.4 kB | linux-64/z3-solver-4.15.7.0-h700cf62_0.conda  1 day and 1 hour ago 43 main
conda 110.7 kB | osx-arm64/z3-solver-4.15.7.0-h02d6fc7_0.conda  1 day and 1 hour ago 25 main
conda 108.0 kB | osx-64/z3-solver-4.15.7.0-h17506e1_0.conda  1 day and 1 hour ago 19 main
conda 104.8 kB | win-64/z3-solver-4.15.5.0-h05e7deb_0.conda  1 day and 20 hours ago 28 main
conda 111.1 kB | linux-aarch64/z3-solver-4.15.5.0-h77ce37a_0.conda  1 day and 20 hours ago 25 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.5.0-hcf195b2_0.conda  1 day and 20 hours ago 10 main
conda 107.4 kB | linux-64/z3-solver-4.15.5.0-h4f046d9_0.conda  1 day and 20 hours ago 58 main
conda 108.0 kB | osx-64/z3-solver-4.15.5.0-hc712de0_0.conda  1 day and 20 hours ago 22 main
conda 110.7 kB | osx-arm64/z3-solver-4.15.5.0-h5760da0_0.conda  1 day and 20 hours ago 20 main
conda 114.2 kB | linux-aarch64/z3-solver-4.15.4.0-h7f71c3a_3.conda  26 days and 18 hours ago 58 main
conda 108.0 kB | win-64/z3-solver-4.15.4.0-h459c541_3.conda  26 days and 18 hours ago 97 main
conda 114.4 kB | linux-ppc64le/z3-solver-4.15.4.0-h58d1a4e_3.conda  26 days and 18 hours ago 19 main
conda 110.6 kB | linux-64/z3-solver-4.15.4.0-ha6e432c_3.conda  26 days and 18 hours ago 216 main
conda 111.1 kB | osx-64/z3-solver-4.15.4.0-hee54068_3.conda  26 days and 18 hours ago 58 main
conda 113.8 kB | osx-arm64/z3-solver-4.15.4.0-h0a47043_3.conda  26 days and 18 hours ago 57 main
conda 229.8 kB | win-64/z3-solver-4.15.4-py310h038bfc9_2.conda  1 month and 24 days ago 76 main
conda 299.7 kB | win-64/z3-solver-4.15.4-py313h954091d_2.conda  1 month and 24 days ago 89 main
conda 302.4 kB | win-64/z3-solver-4.15.4-py314h1cc7cf7_2.conda  1 month and 24 days ago 42 main
conda 289.8 kB | win-64/z3-solver-4.15.4-py312h26642aa_2.conda  1 month and 24 days ago 84 main
conda 301.8 kB | win-64/z3-solver-4.15.4-py311hae3d275_2.conda  1 month and 24 days ago 85 main
conda 295.5 kB | linux-aarch64/z3-solver-4.15.4-py312heb459df_2.conda  1 month and 24 days ago 64 main
conda 307.5 kB | linux-aarch64/z3-solver-4.15.4-py311h7dbd7c0_2.conda  1 month and 24 days ago 68 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14) Legal | Privacy Policy