In Solver, the minimization algorithm introduces a supplementary constraint on the upper bound of the cost function at every iteration.

For this reason, the constraints between the cost variable and other variables have to carry propagation as far as possible in both directions. By propagating in both directions, we mean that changes in the cost variable must be propagated to the other variables, and any changes in the other variables must be propagated to the cost variable as well.