Z3 - a Tutorial Leonardo de Moura Microsoft Research [email protected] Nikolaj Bjørner Microsoft Research [email protected] Abstract This tutorial introduces the…