hi, I need to do post some constraint after an assignment of a variable. for example if X is my variable, after setting X = a, I need to remove some possible values from other variables' domains. How to implement this in Gecode/J ? With regards Debdeep