Sélection de la version du solveur