Menu
About
Anaconda
Help
Download Anaconda
Sign In
Anaconda.com
A new user experience is coming soon! These rolling changes are ongoing and some pages will still have the old user interface.
conda-forge
/
packages
/
libz3
4.15.8
0
The Z3 Theorem Prover
copied from
cf-post-staging /
libz3
Conda
Files
Labels
Badges
License: MIT
Home:
https://github.com/Z3Prover/z3
Development:
https://github.com/Z3Prover/z3
Documentation:
https://github.com/Z3Prover/z3/wiki#background
3380
total downloads
Last upload: 1 day and 21 hours ago
Installers
osx-64
v4.15.8
linux-64
v4.15.8
linux-aarch64
v4.15.8
osx-arm64
v4.15.8
linux-ppc64le
v4.15.8
win-64
v4.15.8
conda install
To install this package run one of the following:
conda install conda-forge::libz3
Description
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14)
Legal
|
Privacy Policy
