On a related question, does the distinct() constraint take into
account the number of variables?
If I have three IntVars {X1, X2, X3} on a domain of two values {0,1}
then to my mind the constraint distinct({X1, X2, X3}) should cause
propagation failure immediately. In my present code this does not seem
to be the case. Am I missing something?
Malcolm
On 17/03/2008, at 2:57 PM, Christian Schulte wrote:
> 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
