public class Choco {
    public static void main(String[] args) {
        Solver solver = new Solver();
        IntVar X = VF.enumerated("X", 0, 5, solver);
        IntVar Y = VF.enumerated("Y", -1, 3, solver);
        Tuples tuples = new Tuples(true);
        tuples.add(1, -2);
        tuples.add(1, 1);
        tuples.add(4, 2);
        tuples.add(1, 4);
        solver.post(ICF.sum(new IntVar[]{X, Y}, VF.integer("2", 2, 2, solver)));
        solver.post(ICF.table(X, Y, tuples, "AC2001"));
        solver.findAllSolutions();
    }
}