Informatique Musicale

Ressources générales

• Logiciel MiniZinc
• Cours Coursera sur la modélisation par contraintes

Liste des cours

• Cours 7 : Programmation par contraintes : Modélisation
  Ressources :
1. sudoku.mzn
2. paris-color-skeleton.mzn : Squelette de code pour le problème de coloriage
3. paris-color.mzn : solution
4. abbot.mzn
5. tricheur.mzn et tricheur-bool.mzn
6. paris-color-opti.mzn
7. paris-color-array.mzn
8. nqueens.mzn
• Cours 10 : Programmation par contraintes : Algorithmique
  Ressources :
1. Étape 1 : permutation.py : Ensemble des permutations (n, dom) et avec co-routine permutation-yield.py.
2. Étape 2 : backtracking-skeleton.py : Squelette de code pour permuter sur un ensemble de variable et la solution backtracking.py.
3. Étape 3 : solver-skeleton.py : Squelette d'un solveur de contraintes fonctionnel et la solution solver.py.
4. Étape 4 : ais.py : Modéliser le problème All-Interval Series et ajout d'une contrainte.
5. Étape 5 : look-ahead-skeleton.py : Squelette d'un solveur avec propagation et la solution look-ahead.py