3.3.4. Searching the mapping with a constraint of a concrete system

Two distinct ways are provided for making the correspondence between a constraint of the catalogue and a constraint of a concrete existing system:

  1. AppendixΒ Systems provides, when it exists, the direct correspondenceWe do not consider that a given constraint of the catalogue can be reformulated in terms of a conjunction of constraints of a given concrete system. between the constraints of the catalogue and the constraints of a given concrete system. For the time being we have considered, with the help of their respective authors, the following systems:

    Since not all constraints of a given system always have their counterparts in the current version of the catalogue, and since systems are always enriched, this is the reason why this mapping is not complete.

  2. Within the entry of the catalogue the slot Systems provides the correspondence between the constraint associated with that entry and the name of the constraint in a given concrete system or modelling language. For instance, the Systems slot of the entry of the catalogue corresponding to the πšŽπš•πšŽπš–πšŽπš—πš constraint indicates that πšŽπš•πšŽπš–πšŽπš—πš is called πš—πšπš‘ in Choco and πšŽπš•πšŽπš–πšŽπš—πš in Gecode, JaCoP MiniZinc and SICStus.