Hi Farshid,
I think that this is indeed a bug in channel (it looks as if the glb of the set variable is not properly reflected in propagation). However, Guido will have to have a look at this and he is currently travelling. Cheers Christian -- Christian Schulte, Professor of Computer Science, KTH, www.gecode.org/~schulte/ From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Farshid Hassani Bijarbooneh Sent: Sunday, December 14, 2014 1:56 AM To: users@gecode.org Subject: [gecode-users] channeling set variables with an array of boolean variables Hi, I have a small code attached to channel a set variable y= {0,1,2} with an array of 3 boolean variables x_1, x_2, and x_3. I would expect only one solution to this problem, but I get all the possible 8 solutions. Could you please let me know if this is an expected results, and if there is something special about the way this channeling works. Best regards, Farshid _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
