Z3

An efficient SMT solver

News & features