Z3z3 Active


Description

The Z3 Theorem Prover

Extracted automatically from Z3 homepage
Open new issue
Homepage
https://github.com/Z3Prover/z3
Version
4.5.0
Source file
source file
Hits
237

Install Z3

brew install z3

Dependencies 2

The following 2 dependencies will be installed if you install Z3:

Python and Python3.