<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
<instance format="XCSP3" type="CSP">
  <variables>
    <array id="q" note="q[i] is the column of the queen in row i" size="[8]" type="integer">
      0..7
    </array>
  </variables>
  <constraints>
    <allDifferent id="c1">
      q[]
    </allDifferent>
    <allDifferent id="c2">
      <list> (q[i]+i) : i in 0..7 </list>
    </allDifferent>
    <allDifferent id="c3">
      <list> (q[i]-i) : i in 0..7 </list>
    </allDifferent>
  </constraints>
</instance>
