z3

Install command:
brew install z3

High-performance theorem prover

https://github.com/Z3Prover/z3

License: MIT

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

Bottle JSON API: /api/bottle/z3.json

Formula code: z3.rb on GitHub

Bottle (binary package) installation support provided for:

Intel monterey
big sur
catalina
64-bit linux
Apple Silicon monterey
big sur

Current versions:

stable 4.11.2
head ⚡️ HEAD

Depends on when building from source:

python@3.10 3.10.6 Interpreted, interactive, object-oriented programming language

Analytics (macOS):

Installs (30 days)
z3 27,272
Installs on Request (30 days)
z3 1,330
Build Errors (30 days)
z3 1,568
Installs (90 days)
z3 31,158
Installs on Request (90 days)
z3 3,895
Installs (365 days)
z3 43,064
z3 --HEAD 1
Installs on Request (365 days)
z3 10,893
z3 --HEAD 1

Analytics (Linux):

Installs (30 days)
z3 1,624
Installs on Request (30 days)
z3 16
Build Errors (30 days)
z3 0
Installs (90 days)
z3 1,674
Installs on Request (90 days)
z3 42
Installs (365 days)
z3 1,820
Installs on Request (365 days)
z3 110
Fork me on GitHub