2.6.24. Uses in its reformulation
Constraint uses constraint in its reformulation. Since it is already handled by the link system of constraints, we do not consider the case where constraint can be expressed as a conjunction of constraints .
Constraint uses constraint in its reformulation. Since it is already handled by the link system of constraints, we do not consider the case where constraint can be expressed as a conjunction of constraints .