Satisfiability modulo theories solvers