z3

v 4.8.15 Updated: 1 month, 2 weeks ago

Z3 Theorem Prover

High performance SMT solver from Microsoft Research.

https://github.com/Z3Prover/z3

To install z3, paste this in macOS terminal after installing MacPorts

sudo port install z3

Add to my watchlist

Installations 11
Requested Installations 3