Section: Software and Platforms

Global Constraint Catalog

Participants : Nicolas Beldiceanu [correspondant] , Mats Carlsson, Helmut Simonis.

The global constraint catalog presents and classifies global constraints and describes different aspects with meta data. It consist of

1. a pdf version that can be downloaded from http://www.emn.fr/z-info/sdemasse/gccat/ (at item last working version) containing 423 constraints, 3936 pages and 900 figures,

2. an on line version accessible from the previous address,

3. meta data describing the constraints (buton PL for each constraint, e.g., alldifferent.pl ),

4. an online service (i.e, a constraint seeker ) which provides a web interface to search for global constraints, given positive and negative ground examples.

This year developments were focussing on:

1. maintaining the catalogue,

2. making the core global constraints (10 constraints) more accessible to a wider audience:

   • for this purpose examples with their corresponding pictures have been systematically provided for showing all solutions for an example of each core global constraint.

   • in addition a set of about 55 exercises with their corrections have been done for half of the core global constraints.

3. a redesign of all the 900 figures of the catalog has been undertaken in autumn 2012 using TikZ (in December 2013 750 figures were redesigned).

4. adding counting information related to the number of solutions of a constraint (integer sequences and visualization).

5. adding constraints related to sequences that we found relevant for learning constraints from electricity production curves.