z3

High-performance theorem prover
https://github.com/Z3Prover/z3

Current versions
4.6.0
HEAD

z3 requires the following formula to be installed:
python3 3.6.4_2 Interpreted, interactive, object-oriented programming language

Recent formula history

ilovezfs z3: depend on python3 instead of :python3
ilovezfs z3: depend on python instead of :python
ilovezfs z3 4.6.0
Tej Chajed z3: install qprofdiff for head (#15154)
ilovezfs z3 4.5.0

Formula code at GitHub