[gecode-users] Max not bound consistent?

[Jean-Noël Monette]

Hello,

The "bound consistency" max constraint does not seem to enforce bound 
consistency. Indeed, with x = {1, 1, [1..2]}, and y = 2, the constraint 
"max(home, x,y,ICL_BND)" should enforce x[2] = 2, but does not modify 
the domains (after a call to status()). Is it the expected behavior 
(because of the cost to check this case or any other reason), or a bug?

Thank you for your answer,

Jean-Noël Monette