4 lines
126 B
Plaintext
4 lines
126 B
Plaintext
z3 is an open source theorem prover / SMT solver from Microsoft Research.
|
|
|
|
(SMT stands for "satisfiability modulo theories".)
|