A simple problem: I have n variables X1, ... Xn which can take on any of m values [1, ..., m]. For each value i there is a fixed capacity Ci, such that no more than Ci of the X's can take value i. What is the best way to express this as a set of constraints? Malcolm