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. 
channeltest.cpp
Description: Binary data
Best regards, Farshid
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
