Using Strong Propagation on Reservoirs: the Balance Constraint

This example illustrates how to create a balance constraint, what kind of propagation it performs, and how the balance constraint communicates with other constraints.