Troisième modélisation

• toutes les reines sont placées : rien à faire
• une reine par ligne : rien à faire
• une reine par colonne : $$\forall i \in \{1, \ldots, 8\}, \forall j \in \{1, \ldots, 8\}$$ tel que $i \not = j, c_i \not = c_j$
• pas plus d'une reine par diagonale : $$\forall i \in \{1, \ldots, 8\}, \forall j \in \{1, \ldots, 8\}$$ tel que $u \not = j, \vert i - j \vert \not = \vert c_i - c_j \vert$

Encore plus simple.