<instance>
  <presentation name="Hello DisChoco" model="Simple" maxConstraintArity="2" format="XDisCSP 1.0" />
  <agents nbAgents="3">
    <agent name="A1" id="1" description="Agent 1" />
    <agent name="A2" id="2" description="Agent 2" />
    <agent name="A3" id="3" description="Agent 3" />
  </agents>
  <domains nbDomains="2">
    <domain name="D1" nbValues="2">1 2</domain>
    <domain name="D2" nbValues="1">2</domain>
  </domains>
  <variables nbVariables="3">
    <variable agent="A1" name="X1.0" id="0" domain="D1" description="Variable x_1" />
    <variable agent="A2" name="X2.0" id="0" domain="D1" description="Variable x_2" />
    <variable agent="A3" name="X3.0" id="0" domain="D2" description="Variable x_3" />
  </variables>
  <predicates nbPredicates="1">
    <predicate name="P0">
      <parameters>int x int y</parameters>
      <expression>
        <functional>ne(x,y)</functional>
      </expression>
    </predicate>
  </predicates>
  <constraints nbConstraints="2">
    <constraint name="C1" model="TKC" arity="2" scope="X1.0 X2.0" reference="P0">
      <parameters>X1.0 X2.0</parameters>
    </constraint>
    <constraint name="C2" model="TKC" arity="2" scope="X2.0 X3.0" reference="P0">
      <parameters>X2.0 X3.0</parameters>
    </constraint>
  </constraints>
</instance>
