Progetto per il corso di Sistemi con Vincoli del corso di Laurea Magistrale in Informatica @UNIPD, consiste in vari algoritmi per la generazione di Soduko con un determinato numero di celle piene. Tutti gli algoritmi implementati si basano sulla risoluzione di un CSP utilizzando or-tools
GiacomoManzoli/SudokuGenerator
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|