<instance>
<presentation
name="Australia"
description="The Australia Problem from AIMA, p138"
nbSolutions="at least 1"
format="1.1"/>
<domains nbDomains="1">
<domain name="dom0" nbValues="3" values="1..3"/>
</domains>
<variables nbVariables="7">
<variable name="NSW" domain="dom0"/>
<variable name="NT" domain="dom0"/>
<variable name="Q" domain="dom0"/>
<variable name="SA" domain="dom0"/>
<variable name="T" domain="dom0"/>
<variable name="V" domain="dom0"/>
<variable name="WA" domain="dom0"/>
</variables>
<relations nbRelations="1">
<relation name="mutex" domain="dom0 dom0" nbConflicts="3"
conflicts="(1,1)(2,2)(3,3)"/>
</relations>
<constraints nbConstraints="9">
<constraint name="C0" scope="WA NT" relation="mutex"/>
<constraint name="C0" scope="WA SA" relation="mutex"/>
<constraint name="C0" scope="NT SA" relation="mutex"/>
<constraint name="C0" scope="NT Q" relation="mutex"/>
<constraint name="C0" scope="Q NSW" relation="mutex"/>
<constraint name="C0" scope="Q SA" relation="mutex"/>
<constraint name="C0" scope="NSW SA" relation="mutex"/>
<constraint name="C0" scope="NSW V" relation="mutex"/>
<constraint name="C0" scope="SA V" relation="mutex"/>
</constraints>
</instance>
