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 23.9 MB | linux-aarch64/libz3-4.15.4-hbd9a09b_2.conda  1 month and 29 days ago 125 main
conda 26.1 MB | linux-ppc64le/libz3-4.15.4-h9f0e0e5_2.conda  1 month and 29 days ago 18 main
conda 21.6 MB | linux-64/libz3-4.15.4-h9e02651_2.conda  1 month and 29 days ago 406 main
conda 16.6 MB | osx-64/libz3-4.15.4-he91f2d5_2.conda  1 month and 29 days ago 135 main
conda 14.8 MB | osx-arm64/libz3-4.15.4-he0fe6d3_2.conda  1 month and 29 days ago 57 main
conda 21.6 MB | linux-64/libz3-4.15.4-h171cf75_1.conda  1 month and 29 days ago 159 main
conda 23.9 MB | linux-aarch64/libz3-4.15.4-hdc560ac_1.conda  1 month and 29 days ago 51 main
conda 16.6 MB | osx-64/libz3-4.15.4-h8150089_1.conda  1 month and 29 days ago 43 main
conda 23.8 MB | linux-aarch64/libz3-4.15.4-hdc560ac_0.conda  3 months and 16 days ago 55 main
conda 21.6 MB | linux-64/libz3-4.15.4-h171cf75_0.conda  3 months and 16 days ago 371 main
conda 16.6 MB | osx-64/libz3-4.15.4-h8150089_0.conda  3 months and 16 days ago 58 main
conda 23.7 MB | linux-aarch64/libz3-4.15.3-hdc560ac_2.conda  3 months and 19 days ago 71 main
conda 21.5 MB | linux-64/libz3-4.15.3-h171cf75_2.conda  3 months and 19 days ago 322 main
conda 16.6 MB | osx-64/libz3-4.15.3-h8150089_2.conda  3 months and 19 days ago 61 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14) Legal | Privacy Policy