About Anaconda Help Download Anaconda
Sign In
Anaconda.com

conda-forge / packages / libz3

The Z3 Theorem Prover

copied from cf-post-staging / libz3

Filters
Type Size Name Uploaded Downloads Labels
conda 11.4 MB | win-64/libz3-4.15.8-h56f2b75_0.conda  2 days and 11 hours ago 51 main
conda 24.0 MB | linux-aarch64/libz3-4.15.8-hbd9a09b_0.conda  2 days and 11 hours ago 34 main
conda 26.2 MB | linux-ppc64le/libz3-4.15.8-h9f0e0e5_0.conda  2 days and 11 hours ago 10 main
conda 21.7 MB | linux-64/libz3-4.15.8-h9e02651_0.conda  2 days and 11 hours ago 79 main
conda 16.7 MB | osx-64/libz3-4.15.8-h5f7a02b_0.conda  2 days and 11 hours ago 33 main
conda 14.9 MB | osx-arm64/libz3-4.15.8-h5722624_0.conda  2 days and 11 hours ago 28 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14) Legal | Privacy Policy