SMT solver

Summary