# Constraint

In constraint programming, a constraint is an arbitrary relation imposed on a set of variables $LaTeX: X = \{x_1, \dots, x_n\}$ where each variable must be assigned on value from its domain. A constraint holds if all variables in $LaTeX: X$ are assigned values from their domain and the relation is satisfied.