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);
        IntVar Z = VF.enumerated("Z", 8, 10, solver);
        Tuples tuples = new Tuples(true);
        tuples.add(1, -2, 1);
        tuples.add(2, 0, 3);
        tuples.add(4, 2, 1);
        tuples.add(1, 4, 1);
        tuples.add(1, 1, 9);
        solver.post(ICF.sum(new IntVar[]{X, Y}, VF.integer("2", 2, 2, solver)));
        solver.post(ICF.table(new IntVar[] {X, Y, Z}, tuples, "AC2001"));
        solver.findAllSolutions();
    }
}