[gecode-users] Capacity constraints

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] 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
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users