An SMT solver.