Z3, an efficient SMT solver. http://research. microsoft.com/projects/z3 (0)

by L de Moura, N Bjørner