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 |
