Link Search Menu Expand Document
Models & Data GitHub XCSP3 About

Constraint Decreasing

The constraint Decreasing ensures that the values assigned to the variables of a specified list are in decreasing order.

As this constraint is totally symmetric to constraint Increasing, we invite the reader to see the page concerning it.