Aggiunte regole per la compilazione del solver
Creazione iniziale del solver