My Constraint Programming Blog

A new version of Global Constraint Catalog has been released. That's great! The update date is 2009-12-10, but I didn't see it until today.

Here is the presentation of the catalog:

About the catalogue

The catalogue presents a list of 348 global constraints issued from the literature in constraint programming and from popular constraint systems. The semantic of each constraint is given together with a description in terms of graph properties and/or automata.

The catalogue is periodically updated by Nicolas Beldiceanu, Mats Carlsson and Jean-Xavier Rampon. Feel free to contact the first author for any questions about the content of the catalogue.

Download the Global Constraint Catalog in pdf format:

• the last working version (2009-12-10) (about 14 Mo)
• the edited version (2005-08) (Sicstus technical report, about 7 Mo)

The news in this release:

2009-12-10 working version update: 348 constraints

• new constraints: graph, order, vector, arithmetic constraints...
• new description field Systems: synonyms in the constraint systems Choco, Gecode, Jacop, and SICStus (see also: gccat_systems.xml).
• new description field Reformulation: decomposition as conjunctions of constraints (see e.g.: tree).
• Getting Started section.
• alphabetical index of the constraints, keywords, global index.

Another nice thing is that it is now possible to search just the HTML pages, or PDF documents.

Sophie Demassey has done a wonderful work with the online version.

Also, I am happy for the links to this blog and my MiniZinc page, see the section on (decompositions of) global constraints.