lucidi
- Da logica a CLP
- Vincoli Globali
- Esercizi CLP
- Esercizi su Programmazione Logica a Vincoli
- Esercizio CLP automobili
- Ottimizzazione e Scheduling
- Esercizio CLP automobili 2
- Creazione di nuovi vincoli
- Esercizio TSP
- Miglioramenti CLP
- Esercizio TSP-TW
- Routing
- Insiemi
- applicazioni di CLP
- Esercizio SAT
- MiniZinc
- SAT
- SAT 2
- seconda parte
- Esercizio SAT 2
- ASP
- Answer Set Programming
- Esercizio Hitori
- Esercizio Stampe
- Esercizio CLP su scheduling di stampa
- sudoku.dzn
- Maximum Clique
