Creazione del solver