Tools

Some tools are also provided. They can be found from http://cpai.ucc.ie/09/.

C++ and C parsers for the XML format can be found at:

http://www.cril.univ-artois.fr/~roussel/CSP-XML-parser

A Java parser for the XML format can be found at:

http://www.cril.univ-artois.fr/~lecoutre/research/tools

Other tools that are currently available from the last URL given above are:

• $\mathit{SolutionChecker}$: a tool that allows to compute the number of constraints violated by a full instantiation of the variables of a CSP instance.
• $\mathit{InstanceChecker}$: a tool that allows to check the validity of CSP instances (in format XCSP 2.1) and to convert in extension constraints defined in intension.
• $\mathit{InstanceShuffler}$: a tool that allows to shuffle variables and constraints of CSP instances.

New tools that have been developed (by Andrea Rendl) are:

• $\mathit{xcsp2ep}$: a converter from XCSP to Essence'.
• $\mathit{tailor}$: a converter from XCSP/Essence' to Minion.
• $\mathit{ep2xcsp}$: a converter from Essence' to XCSP.