Section: Software

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 406 constraints, 3397 pages and 758 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 30 exercises with their corrections have been done for half of the core global constraints.

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

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

N. Beldiceanu , M. Carlsson (SICS , Sweden) and H. Simonis (4C , Ireland) have contributed in 2012. The link to the global constraint catalog is http://www.emn.fr/z-info/sdemasse/gccat/ .