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
store.impose(new XeqY(Color.Green.v, Drink.Coffee.v)); // 5
store.impose(new XeqY(Cigar.PallMall.v, Pet.Bird.v)); // 6
store.impose(new XeqY(Color.Yellow.v, Cigar.Dunhill.v)); // 7
store.impose(new XeqC(Drink.Milk.v, 2)); // 8
store.impose(new XeqC(Nation.Norway.v, 0)); // 9
store.impose(new Distance(Cigar.Blends.v, Pet.Cat.v, kOne)); // 10
store.impose(new Distance(Cigar.Dunhill.v, Pet.Horse.v, kOne)); // 11
store.impose(new XeqY(Cigar.BlueMaster.v, Drink.Beer.v)); // 12
store.impose(new XeqY(Nation.Germany.v, Cigar.Prince.v)); // 13
store.impose(new Distance(Nation.Norway.v, Color.Blue.v, kOne)); // 14
store.impose(new Distance(Cigar.Blends.v, Drink.Water.v, kOne)); // 15
run();
}