Z3 Theorem Prover
Z3 is a high-performance theorem prover developed at Microsoft Research.
$
pkg install z3Origin
math/z3
Size
44.5MiB
License
MIT
Maintainer
arrowd@FreeBSD.org
Dependencies
0 packages
Required by
8 packages
Z3 Theorem Prover
Z3 is a high-performance theorem prover developed at Microsoft Research.
pkg install z3