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 114.2 kB | linux-aarch64/z3-solver-4.15.4.0-h7f71c3a_3.conda  27 days and 8 hours ago 59 main
conda 108.0 kB | win-64/z3-solver-4.15.4.0-h459c541_3.conda  27 days and 8 hours ago 97 main
conda 114.4 kB | linux-ppc64le/z3-solver-4.15.4.0-h58d1a4e_3.conda  27 days and 8 hours ago 19 main
conda 110.6 kB | linux-64/z3-solver-4.15.4.0-ha6e432c_3.conda  27 days and 8 hours ago 217 main
conda 111.1 kB | osx-64/z3-solver-4.15.4.0-hee54068_3.conda  27 days and 8 hours ago 58 main
conda 113.8 kB | osx-arm64/z3-solver-4.15.4.0-h0a47043_3.conda  27 days and 8 hours ago 57 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14) Legal | Privacy Policy