z3

Install command: 
brew install z3

High-performance theorem prover

https://github.com/Z3Prover/z3

License: MIT

Development: Pull requests

Formula JSON API: /api/formula/z3.json

Formula code: z3.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on
Apple Silicon		 golden gate ✅
tahoe ✅
sequoia ✅
Linux ARM64 ✅
x86_64 ✅

Current versions:

stable ✅ 5.3.3
head ⚡️ HEAD

Depends on when building from source:

cmake 4.4.5 Cross-platform make
python@3.15 3.15.2 Interpreted, interactive, object-oriented programming language

Binaries: qprofdiff, z3

GitHub Packages downloads:

Last 30 days890,611
Downloads17,117,350
Analytics install events (30 days)99,682
Downloads / install events (30 days)8.9×

Source: GitHub Packages, fetched 2026-11-10T00:47:50Z. Analytics dates: 2026-10-11 to 2026-11-10. Totals exclude downloads from Bintray before the migration to GitHub Packages. Downloads and install attempts measure different things; the difference does not count analytics opt-outs. Definitions and limitations.

Analytics:

30 days90 days365 days
Installs99,663180,852644,511
Installs (--HEAD)192652
Installs on Request3,6986,71316,873
Installs on Request (--HEAD)182544
Build Errors9,875
Build Errors (--HEAD)2