Hi, (just a technical note)
> IntVar y = x; > IntVar z(x); These two actually do exactly the same thing in C++ (i.e. call the copy constructor). IntVar y; y=x; ...is different, you construct an "empty" variable object and assign to it later. This is what often happens with var arrays. Cheers, Filip _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
