Ensures that all variables within a specified set take on the same values.

Ensures that all variables in a specified set must take unique values.

Ensures that all variables in a specified set are non-negative.

Ensures that each variable in a set is assigned a value based on a specific arithmetic progression.

Ensures that no two variables in a specified set are assigned consecutive numerical values.