Section: New Software and Platforms

GCCat

Global Constraint Catalog

Keywords: Constraint Programming - Global constraint - Catalogue - Graph - Automaton - Transducer - First order formula - meta-data - ontology - symmetry - counting -

Functional Description

This global constraint catalog presents a catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms. This year we were preparing a second volume of the catalog focused on time-series constraints. It presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered functions composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints where each constraint is explicitly described in terms of automata with accumulators.

• Participants: Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey and Helmut Simonis

• Contact: Nicolas Beldiceanu

• URL: http://sofdem.github.io/gccat/gccat/index.html