Une solution ("laborieuse mais qui marche") par clpfd est de définir un domaine entre 1 et 64 et faire correspondre chaque indice à une position X et Y via un prédicat qui ramène la position (1=(1...