High-performance theorem prover

Current versions:
4.4.1 HEAD

Homepage: https://github.com/Z3Prover/z3

Reverse dependencies

The following formulae require z3 to be installed:

Formula history

Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Martin Afanasjew z3: fix check for incompatible build options
Rakesh z3: fix audit errors
Rakesh z3: fix HEAD build
Deokhwan Kim z3: build a static library as well
Bart Leusink z3 4.4.1
Enrico Ghirardi z3: add python3 option
Adam C. Foltzer z3 4.4.0 (migrate from homebrew/science)