z3

High-performance theorem prover

https://github.com/Z3Prover/z3

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

JSON API for z3

Formula code on GitHub

Fork me on GitHub