Coloriage des Cartes - CSP
Il s'agit de colorier les 14 régions de la carte ci-dessous, de sorte que deux régions ayant une frontière en commun soient coloriées avec des couleurs différentes. On dispose pour cela des 4 couleurs suivantes : bleu, rouge, jaune et vert. Modélisez ce problème sous la forme d'un problème de satisfaction de contrainte