Seleção da versão do Solver