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 the fact 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 on their respective authors, the following systems:

    Since not all constraints of a given system always have their counterpart 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. 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 and SICStus.