Equivalence allows for simplifying the constraint store by replacing some constraints with simpler ones; in particular, if the third constraint in an equivalence rule is true, and the second constraint is entailed, the first constraint is removed from the constraint store.
Еквиваленција омогућава поједностављење наметања продавнице заменом неких ограничења са неким једноставнијим; посебно ако је треће ограничење у правилу еквиваленције истина, а друго ограничење је подразумијевано, прво ограничење је уклоњено из ограничења продавнице.