README:

Original code XCSP Tools 2.1.4 (November 04, 2008):
http://www.cril.univ-artois.fr/~lecoutre/software.html#
By Christophe Lecoutre

Modified by:
Robert Woodward (robertwoodward <at> huskers <dut> unl <dut> edu)

Changes in the code:

- tools/InstanceCheckerParser.java (March 6, 2014)

  Modified to convert global constraints (PGlobalConstraint) to
  extension.  Does so in a similar fashion to how intension
  constraints (PIntensionConstraint) are converted: goes through every
  tuple and evaluates it to decide if it is a support or conflict.

- tools/InstanceCheckerEngine.java (March 6, 2014)

  Modified so that if the instance only has global constraints, it
  will convert them too (because they do not have functions /
  predicates).

- tools/DocumentModifier.java (March 6, 2014)

  Modified so that it will also look for the global prefix in the
  constraint reference, to update the document structure on these.
  
Modified by:
Nathan Stender (nstender <at> cse <dut> unl <dut> edu)

Changes in the code:

- instance/components/PEternityAllDifferent.java (Jan 6, 2015)

  Added support for global Eternity-style all different constraint
  that is, each variable value divided by 4 must be distinct from
  any other value divided by 4
  
- tools/InstanceCheckerParser.java (Jan 6, 2006)

  Added support for EternityAllDifferent
  
- tools/InstanceParser.java (Jan 6, 2006)

  Added support for EternityAllDifferent
  
- InstanceTokens.java (Jan 6, 2006)

  Added support for EternityAllDifferent
