Problem pb = new PalmProblem();
IntVar var0 = pb.makeBoundIntVar("Var0", 1, 3);
IntVar var1 = pb.makeBoundIntVar("Var1", 1, 3);
pb.post(pb.gt(var1, var0));
pb.solve(true);
