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.
If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication.
×
conda-forge
/
packages
/
z3-solver
4.15.7.0
0
The Z3 Theorem Prover
copied from
cf-post-staging /
z3-solver
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
7838
total downloads
Last upload: 1 day and 59 minutes ago
Installers
osx-64
v4.15.7.0
linux-64
v4.15.7.0
linux-aarch64
v4.15.7.0
osx-arm64
v4.15.7.0
linux-ppc64le
v4.15.7.0
win-64
v4.15.7.0
conda install
To install this package run one of the following:
conda install conda-forge::z3-solver
Description
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14)
Legal
|
Privacy Policy
