Is there anyway to express the constraint:
X = Y + c
for variables X and Y, and constant c, such that holes in Y are
propagated to X and vice verse. The linear() constraint only seems to
give bounds consistency.
Malcolm
--
Many clever men like you have trusted to civilisation.
Many clever Babylonians, many clever Egyptians,
Many clever men at the end of Rome.
- G.K.Chesterton, The Napoleon of
Notting Hill
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users