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.