High-performance theorem prover

Current versions:


Reverse dependencies

The following formulae require z3 to be installed:

Formula history

ilovezfsz3 4.5.0
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Martin Afanasjewz3: fix check for incompatible build options
Rakeshz3: fix audit errors
Rakeshz3: fix HEAD build
Deokhwan Kimz3: build a static library as well
Bart Leusinkz3 4.4.1
Enrico Ghirardiz3: add python3 option
Adam C. Foltzerz3 4.4.0 (migrate from homebrew/science)