z3

High-performance theorem prover

https://github.com/Z3Prover/z3

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

Formula code on GitHub

Current versions:

stable 4.8.1
head ⚡️ HEAD
bottle 🍾 mojave, high_sierra, sierra

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.1 Interpreted, interactive, object-oriented programming language

Analytics:

Installs (30 days)
z3 2,287
z3 --with-python 62
z3 --without-python@2 --with-python 11
z3 --HEAD 4
z3 --without-python@2 2
Installs on Request (30 days)
z3 538
z3 --with-python 59
z3 --without-python@2 --with-python 11
z3 --HEAD 4
z3 --without-python@2 2
Build Errors (30 days)
z3 4
z3 --with-python 2
Installs (90 days)
z3 4,488
z3 --with-python 90
z3 --without-python@2 --with-python 14
z3 --without-python@2 5
z3 --HEAD 4
Installs on Request (90 days)
z3 977
z3 --with-python 85
z3 --without-python@2 --with-python 14
z3 --without-python@2 5
z3 --HEAD 4
Installs (365 days)
z3 15,621
z3 --with-python 251
z3 --with-python3 58
z3 --without-python@2 --with-python 37
z3 --without-python@2 20
Installs on Request (365 days)
z3 3,567
z3 --with-python 230
z3 --with-python3 47
z3 --without-python@2 --with-python 37
z3 --without-python@2 20
Fork me on GitHub