//
// Extensional constraint
//
// infeasePairAC
//

import static choco.Choco.*;
import choco.cp.model.CPModel;
import choco.cp.solver.CPSolver;
import choco.kernel.model.Model;
import choco.kernel.solver.Solver;
import choco.kernel.model.variables.integer.IntegerVariable;
import choco.kernel.solver.ContradictionException;
import choco.kernel.model.constraints.Constraint;
import java.util.*;


public class Prop7 {

  public static void main(String[] args) throws ContradictionException {

    Model m = new CPModel();
    ArrayList l = new ArrayList();
    int[][] pairs = {{1,2},{2,4},{3,6},{4,8}};

    IntegerVariable x = makeIntVar("x",0,9,"cp:enum");
    IntegerVariable y = makeIntVar("y",0,9,"cp:enum");

    // m.addConstraint(feasPairAC(x,y,pairs));
    // m.addConstraint(feasPairFC(....));

    Solver s = new CPSolver();
    s.read(m);
    s.propagate();
    System.out.println(s.getVar(x).pretty());
    System.out.println(s.getVar(y).pretty());
  }
}