Semaine 7

• Lab 7: Satisfaction de contraintes
  • Fichiers
  • Objectifs de la série
  • Exercice 1 : Variable Ordering
  • Exercice 2 : Algorithme Forward Checking
  • Exercice 3 : Dynamic Variable Ordering
  • Exercice 4 : Sudoku
• Documentation du code
  • libPSC
  • PSC
  • sudoku
  • Modules de test