//
// is there a bug in iff and implies?
//

import choco.Problem;
import choco.ContradictionException;
import choco.integer.*;
import choco.Solver;
import choco.Solution;

public class What {

  
  public static void main(String[] args) throws ContradictionException {
     Problem pb = new Problem();
     IntDomainVar A = pb.makeBoundIntVar("A",1,2);
 
     //pb.post(pb.ifOnlyIf(pb.eq(A,1),pb.eq(A,2)));

     pb.post(pb.and(pb.implies(pb.eq(A,1),pb.eq(A,2)),
		    pb.implies(pb.eq(A,2),pb.eq(A,1))));

     System.out.println(pb.pretty());

     pb.propagate();

     System.out.println(pb.pretty());

     pb.solve(false);

     System.out.println(pb.pretty());

     System.out.println(A.getVal());
  }
}