High-performance theorem prover

Current versions

Revision: 1

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

Reverse dependencies

The following formula requires z3 to be installed:
cryptol 2.5.0 Domain-specific language for specifying cryptographic algorithms

Recent formula history

ilovezfs z3: revision to fix install receipt
ilovezfs z3: rename python and python@2 dependencies
ilovezfs z3: depend on python3 instead of :python3
ilovezfs z3: depend on python instead of :python
ilovezfs z3 4.6.0

Formula code at GitHub