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 6 hours ago 20 main
conda 111.1 kB | linux-aarch64/z3-solver-4.15.7.0-hbb65123_0.conda  1 day and 6 hours ago 21 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.7.0-hce535b3_0.conda  1 day and 6 hours ago 7 main
conda 107.4 kB | linux-64/z3-solver-4.15.7.0-h700cf62_0.conda  1 day and 6 hours ago 52 main
conda 110.7 kB | osx-arm64/z3-solver-4.15.7.0-h02d6fc7_0.conda  1 day and 6 hours ago 25 main
conda 108.0 kB | osx-64/z3-solver-4.15.7.0-h17506e1_0.conda  1 day and 6 hours ago 19 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14) Legal | Privacy Policy