Section: Software
Global Constraint Catalog
Participants : Nicolas Beldiceanu [correspondant] , Sophie Demassey, Mats Carlsson, Helmut Simonis.
The global constraint catalog presents and classifies global constraints and describes different aspects with meta data. It consist of
-
a pdf version that can be downloaded from http://www.emn.fr/z-info/sdemasse/gccat/ (at item last working version) containing 360 constraints, 3000 pages and 700 figures,
-
an on line version accessible from the previous address,
-
meta data describing the constraints (buton PL for each constraint, e.g., alldifferent.pl ),
-
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:
-
maintaining the catalogue,
-
deploying an on-line constraint seeker [16] (see http://seeker.mines-nantes.fr/ and http://4c.ucc.ie/~hsimonis/seekerhelp.html for explanation how to use),
-
providing the negation for constraints defined by automata (with and without counter),
-
defining properties of constraints arguments, and
-
providing modelling examples as well as points of interests and common misunderstanding for core constraints.
N. Beldiceanu , S. Demassey , M. Carlsson (SICS , Sweden) and H. Simonis (4C , Ireland) have contributed in 2011. The link to the global constraint catalog is http://www.emn.fr/z-info/sdemasse/gccat/ .