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.8.17
head ⚡️ HEAD

Depends on when building from source:

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

Analytics (macOS):

Installs (30 days)
z3 1,937
Installs on Request (30 days)
z3 1,228
Build Errors (30 days)
z3 12
Installs (90 days)
z3 4,307
Installs on Request (90 days)
z3 2,643
Installs (365 days)
z3 14,971
z3 --HEAD 6
Installs on Request (365 days)
z3 8,368
z3 --HEAD 6

Analytics (Linux):

Installs (30 days)
z3 23
Installs on Request (30 days)
z3 15
Build Errors (30 days)
z3 0
Installs (90 days)
z3 51
Installs on Request (90 days)
z3 28
Installs (365 days)
z3 207
Installs on Request (365 days)
z3 89
Fork me on GitHub