3.3.4. Searching the correspondence with the 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:
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:
CHOCO in Java [Laburthe00] (http://choco.emn.fr/),
Gecode in C++ [Gecode06] (http://www.gecode.org/),
JaCoP in Java (http://jacop.cs.lth.se/),
SICStus [CarlssonOttossonCarlson97] in Prolog (http://www.sics.se/sicstus/).
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.
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 element constraint indicates that element is called nth in CHOCO and element in Gecode, JaCoP and SICStus.