Master 1 Informatique - Programmation logique par contraintes - IRIF
Le bar`eme est donné `a titre indicatif et peut être modifié. Exercice 1 (4 points). Considérez la contrainte X < Y ? Y < Z ? Z ? X avec domaines D(X) ...