4 lines
127 B
Text
4 lines
127 B
Text
Python binding for Z3, a high-performance theorem prover developed
|
|
at Microsoft Research.
|
|
|
|
WWW: https://github.com/Z3Prover/z3
|