# z3

Z3 is a theorem prover from Microsoft Research.