//
// How many dominos are there?
// Expressed as a CP 
//
// Can we prove this is correct using a counting argument?
//
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;


public class MyTest {

  
  public static void main(String[] args) {

     Model m = new CPModel();       
     IntegerVariable v1  = makeIntVar("v1",0,6);
     IntegerVariable v2  = makeIntVar("v2",0,6);

     v1.setHook("fred");
     System.out.println(v1.getHook());
     v1.setHook(1);
     System.out.println(v1.getHook());
     v1.setHook(new int[9]);
     System.out.println(v1.getHook());
     v1.setHook(v1);
     System.out.println(v1.getHook());
 
     m.addConstraint(leq(v1,v2));

     Solver s = new CPSolver(); 
     s.read(m);   
     s.solve();
  }
}