z3

High-performance theorem prover

https://github.com/Z3Prover/z3

/api/formula/z3.json (JSON API)

Formula code on GitHub

Current versions:

stable 4.7.1
head ⚡️ HEAD
bottle 🍾 high_sierra, sierra, el_capitan

Options:

--without-python@2 Build without python 2 support
--with-python Build with python support

Depends on recommended:

python@2 2.7.15 Interpreted, interactive, object-oriented programming language

Depends on optionally:

python 3.7.0 Interpreted, interactive, object-oriented programming language

Analytics:

Installs (30 days)
z3 1,659
z3 --with-python 19
z3 --without-python@2 --with-python 3
z3 --without-python@2 2
Installs on Request (30 days)
z3 294
z3 --with-python 19
z3 --without-python@2 --with-python 3
z3 --without-python@2 2
Build Errors (30 days)
z3 2
z3 --without-python@2 --with-python 1
Installs (90 days)
z3 5,413
z3 --with-python 100
z3 --without-python@2 --with-python 13
z3 --without-python@2 6
z3 --HEAD --with-python 5
Installs on Request (90 days)
z3 1,137
z3 --with-python 86
z3 --without-python@2 --with-python 13
z3 --without-python@2 6
z3 --HEAD --with-python 5
Installs (365 days)
z3 7,448
z3 --with-python3 108
z3 --with-python 100
Installs on Request (365 days)
z3 2,463
z3 --with-python3 97
z3 --with-python 86
Fork me on GitHub