3.7.254. Value constraint

A constraint that puts a restriction on how values can be assigned to usually one or several collections of variables, or possibly one or two variables. These variables usually correspond to domain variables but can sometimes be set variables.