Ensures that all variables within a specified set meet an aggregate condition, such as a sum or product.

Limits the possible values that can be assigned to a single variable.

Requires that all variables in a set must take unique values.

Dictates the relationship between pairs of variables in a set.

Enforces that variables must alternate between numerical values in a specific sequence.