Deuxième modélisation

• toutes les reines sont placées : rien à faire
• une reine par ligne : $$\forall i \in \{1, \ldots, 8\}, \forall j \in \{1, \ldots, 8\}$$ tel que $i \not = j, l_i \not = l_j$
• 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 $i \not = j, \vert c_i - c_j\vert \not = \vert l_i - l_j \vert$

C'est plus simple, non ?