xz
Popular
General-purpose data compression with high compression ratio
z3
PopularFormula Utilities v5.1.0
High-performance theorem prover
About
Install z3 on macOS with Homebrew Formula using `brew install z3`. z3 is a Utilities command-line package with version 5.1.0. The package is listed in homebrew/core.
Install 1 App in Terminal
$
brew install z3
Build Dependencies
Official Homebrew Stats
Install activity metrics for z3.
30 Days
26.1K total installs
870 installs / day avg
90 Days
161.0K total installs
1.8K installs / day avg
1 Year
594.7K total installs
1.6K installs / day avg
Frequently asked questions
How do I install z3 with Homebrew?
Run brew install z3 in Terminal to install z3 as a Homebrew formula on macOS.
What kind of package is z3?
z3 is a Utilities Homebrew formula and FastBrew currently shows version 5.1.0.
What should I review before installing z3?
Review the runtime dependencies (none listed) and build dependencies (cmake, python@3.14) along with any caveats before installing.