Skip to content
Back to Apps FastBrew

z3

Popular
Formula Utilities v4.16.0

High-performance theorem prover

Install 1 App in Terminal
$ 
brew install z3
Source: homebrew/core GitHub Homebrew

Build Dependencies

cmakepython@3.14

Official Homebrew Stats

Install activity metrics for z3.

+36.6% vs 90d avg
30 Days
70.5K total installs
2.4K installs / day avg
90 Days
154.9K total installs
1.7K installs / day avg
1 Year
563.0K total installs
1.5K installs / day avg

Related Utilities Apps

View All
Open xz
xz
Popular

General-purpose data compression with high compression ratio

formula Utilities v5.8.3
Open readline
readline
Popular

Library for command-line editing

formula Utilities v8.3.3
Open zstd
zstd
Popular

Zstandard is a real-time compression algorithm

formula Utilities v1.5.7
Open gh
gh
Popular

GitHub command-line tool

formula Utilities v2.96.0
Open python@3.14
python@3.14
Popular

Interpreted, interactive, object-oriented programming language

formula Utilities v3.14.6
Open glib
glib
Popular

Core application library for C

formula Utilities v2.88.2
X