IBM ILOG Solver User's Manual > More on Modeling > Reducing Symmetry: Configuring Racks > Describe > Recognizing the constraints

The constraints of this example can be summarized this way: