Z3z3


Description

The Z3 Theorem Prover

Extracted automatically from Z3 homepage
Homepage
https://github.com/Z3Prover/z3
Version
Unavailable

Install Z3

brew install z3

Dependencies2

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