Le répertoire contient les fichiers suivants : solveur/ : Répertoire contenant le solveur ASP clingo. asp_manuel/ : Fichiers ASP manuellement créés pour résoudre les problèmes de planification. asp/ : ...