z3
High-performance theorem prover
https://github.com/Z3Prover/z3
Current versions:
| stable | ✅ | 4.6.0 |
| head | ⚡️ | HEAD |
| bottle | 🍾 | high_sierra, sierra, el_capitan |
Revision: 1
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.6.5 | Interpreted, interactive, object-oriented programming language |
Formula code on GitHub
