Please check cardinality constraints "count" (global cardinality). A single propagator will do what you want.
Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Malcolm Ryan Sent: Monday, March 17, 2008 4:27 AM To: gecode list Subject: [gecode-users] Capacity constraints 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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
