Extensional constraints are crucial in Constraint Programming. They represent allowed
combinations of values for a subset of variables (the scope of the constraint) using …