z3

Install command:
brew install z3

High-performance theorem prover

https://github.com/Z3Prover/z3

License: MIT

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

Formula code: z3.rb on GitHub

Bottle (binary package) installation support provided for:

Apple Silicon sonoma
ventura
monterey
Intel sonoma
ventura
monterey
64-bit linux

Current versions:

stable 4.12.2
head ⚡️ HEAD

Depends on when building from source:

cmake 3.27.9 Cross-platform make
python@3.12 3.12.0 Interpreted, interactive, object-oriented programming language

Analytics:

Installs (30 days)
z3 23,083
Installs on Request (30 days)
z3 468
Build Errors (30 days)
z3 475
Installs (90 days)
z3 70,029
Installs on Request (90 days)
z3 1,477
Installs (365 days)
z3 156,738
Installs on Request (365 days)
z3 4,959
Fork me on GitHub