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.7-h56f2b75_0.conda  6 days and 6 hours ago 70 main
conda 24.0 MB | linux-aarch64/libz3-4.15.7-hbd9a09b_0.conda  6 days and 6 hours ago 49 main
conda 26.2 MB | linux-ppc64le/libz3-4.15.7-h9f0e0e5_0.conda  6 days and 6 hours ago 10 main
conda 21.7 MB | linux-64/libz3-4.15.7-h9e02651_0.conda  6 days and 6 hours ago 131 main
conda 14.9 MB | osx-arm64/libz3-4.15.7-h5722624_0.conda  6 days and 6 hours ago 45 main
conda 16.7 MB | osx-64/libz3-4.15.7-h5f7a02b_0.conda  6 days and 6 hours ago 38 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14) Legal | Privacy Policy