Explaining alldifferent Constraints

Data and models for the problems in the ACSC2012 conference paper Explaining alldifferent are in the following archive.

Data and models for the problems in the journal and thesis versions of the paper Explaining alldifferent Constraints are here.