Hmm, I really don't think I understand your code well enough to do this properly. I'm trying to implement a reified A < B < C operator, but I'm really lost.
Malcolm _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
