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