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
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
