Selezione della versione del risolutore