Slide 1Leonardo de Moura Microsoft Research Slide 2 Slide 3 Z3 is a new solver developed at Microsoft Research. Development/Research driven by internal customers. Free for…