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 14 hours ago 54 main
conda 24.0 MB | linux-aarch64/libz3-4.15.8-hbd9a09b_0.conda  2 days and 14 hours ago 34 main
conda 26.2 MB | linux-ppc64le/libz3-4.15.8-h9f0e0e5_0.conda  2 days and 14 hours ago 10 main
conda 21.7 MB | linux-64/libz3-4.15.8-h9e02651_0.conda  2 days and 14 hours ago 83 main
conda 16.7 MB | osx-64/libz3-4.15.8-h5f7a02b_0.conda  2 days and 14 hours ago 33 main
conda 14.9 MB | osx-arm64/libz3-4.15.8-h5722624_0.conda  2 days and 15 hours ago 28 main
conda 11.4 MB | win-64/libz3-4.15.7-h56f2b75_0.conda  6 days and 3 hours ago 70 main
conda 24.0 MB | linux-aarch64/libz3-4.15.7-hbd9a09b_0.conda  6 days and 3 hours ago 49 main
conda 26.2 MB | linux-ppc64le/libz3-4.15.7-h9f0e0e5_0.conda  6 days and 3 hours ago 10 main
conda 21.7 MB | linux-64/libz3-4.15.7-h9e02651_0.conda  6 days and 3 hours ago 130 main
conda 14.9 MB | osx-arm64/libz3-4.15.7-h5722624_0.conda  6 days and 4 hours ago 45 main
conda 16.7 MB | osx-64/libz3-4.15.7-h5f7a02b_0.conda  6 days and 4 hours ago 38 main
conda 11.4 MB | win-64/libz3-4.15.5-h56f2b75_0.conda  6 days and 22 hours ago 25 main
conda 24.0 MB | linux-aarch64/libz3-4.15.5-hbd9a09b_0.conda  6 days and 22 hours ago 24 main
conda 26.2 MB | linux-ppc64le/libz3-4.15.5-h9f0e0e5_0.conda  6 days and 22 hours ago 8 main
conda 21.7 MB | linux-64/libz3-4.15.5-h9e02651_0.conda  6 days and 23 hours ago 123 main
conda 16.7 MB | osx-64/libz3-4.15.5-h5f7a02b_0.conda  6 days and 23 hours ago 20 main
conda 14.9 MB | osx-arm64/libz3-4.15.5-h5722624_0.conda  6 days and 23 hours ago 21 main
conda 23.9 MB | linux-aarch64/libz3-4.15.4-hbd9a09b_3.conda  1 month and 20 hours ago 55 main
conda 11.2 MB | win-64/libz3-4.15.4-h56f2b75_3.conda  1 month and 20 hours ago 102 main
conda 26.1 MB | linux-ppc64le/libz3-4.15.4-h9f0e0e5_3.conda  1 month and 20 hours ago 16 main
conda 21.6 MB | linux-64/libz3-4.15.4-h9e02651_3.conda  1 month and 20 hours ago 223 main
conda 16.6 MB | osx-64/libz3-4.15.4-h5f7a02b_3.conda  1 month and 21 hours ago 56 main
conda 14.8 MB | osx-arm64/libz3-4.15.4-h5722624_3.conda  1 month and 21 hours ago 49 main
conda 11.2 MB | win-64/libz3-4.15.4-h56f2b75_2.conda  1 month and 29 days ago 167 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14) Legal | Privacy Policy