sentences:  Global constraints are constraints representing a specific relation on a number of variables, taken altogether.Some of them, such as the codice_1 constraint, can be rewritten as a conjunction of atomic constraints in a simpler language