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.5.0-h05e7deb_0.conda  2 days and 1 hour ago 28 main
conda 111.1 kB | linux-aarch64/z3-solver-4.15.5.0-h77ce37a_0.conda  2 days and 1 hour ago 26 main
conda 111.3 kB | linux-ppc64le/z3-solver-4.15.5.0-hcf195b2_0.conda  2 days and 1 hour ago 10 main
conda 107.4 kB | linux-64/z3-solver-4.15.5.0-h4f046d9_0.conda  2 days and 1 hour ago 58 main
conda 108.0 kB | osx-64/z3-solver-4.15.5.0-hc712de0_0.conda  2 days and 1 hour ago 22 main
conda 110.7 kB | osx-arm64/z3-solver-4.15.5.0-h5760da0_0.conda  2 days and 1 hour ago 20 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14) Legal | Privacy Policy