[gecode-users] channeling set variables with an array of boolean variables

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Farshid Hassani Bijarbooneh
Sent: Sunday, December 14, 2014 1:56 AM
To: users at 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 at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20141215/07d4ea9e/attachment.html>