}
return values;
}
public static void main(String[] args) throws Exception {
store.impose(new Alldifferent(Nation.values));
store.impose(new Alldifferent(Drink.values));
store.impose(new Alldifferent(Color.values));
store.impose(new Alldifferent(Pet.values));
store.impose(new Alldifferent(Cigar.values));
store.impose(new XeqY(Nation.England.v, Color.Red.v)); // 1
store.impose(new XeqY(Nation.Sweden.v, Pet.Dog.v)); // 2
store.impose(new XeqY(Nation.Danmark.v, Drink.Tea.v)); // 3
store.impose(new XplusCeqZ(Color.Green.v, 1, Color.White.v)); // 4