mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-03 01:23:49 +00:00
5 lines
110 B
Plaintext
5 lines
110 B
Plaintext
|
Z3 is a high-performance theorem prover developed
|
||
|
|
at Microsoft Research.
|
||
|
|
|
||
|
|
WWW: https://github.com/Z3Prover/z3
|