Suite smt solveur