Repository dell'elaborato per l'esame finale del corso di Intelligenza Artificiale
Per riprodurre i risultati sono stati caricati il codice dell'elaborato e i quattro dataset utilizzati per le operazioni di testing. Utilizzare, attraverso Minizinc, il file main.mzn contenente il codice principale il quale, al momento del run, richiederà la scelta di un dataset in input. Selezionare a tal punto uno dei dataset caricati.