
## 3 Representing Csp Instances 13

<instance>
<presentation name = 'put here the instance name'
... format = 'XCSP 2.1' >
Put here the description of the instance
</presentation> <domains nbDomains='q'>
<domain name = 'put here the domain name' nbValues = 'put here the number of values' >
Put here the list of values
</domain>
...

</domains> <variables nbVariables='n'>
<variable name = 'put here the variable name' domain = 'put here the name of a domain'
/> ...

</variables> <relations nbRelations='r'>
<relation name = 'put here the name of the relation' arity = 'put here the arity of the relation' nbTuples = 'put here the number of tuples' semantics = 'put here either supports or conflicts' >
Put here the list of tuples
</relation>
...

</relations> <predicates nbPredicates='p'>
<predicate name = 'put here the name of the predicate' >
<parameters>
put here a list of formal parameters
</parameters>
<expression>
Put here one (or more) representation of the predicate expression
</expression>
</predicate> ...

</predicates>
<constraints nbConstraints='e'>
<constraint name = 'put here the name of the constraint' arity = 'put here the arity of the constraint' scope = 'put here the scope of the constraint' reference = 'put here the name of a relation, a predicate or a global constraint'>
...

</constraint>
...

</constraints>
</instance>