//
// Delayed Disjunctive Consistency
// Implication
// Biconditional
//

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


public class Temp {

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

    Problem pb = new Problem();
    IntDomainVar A = pb.makeEnumIntVar("A",1,3);
    IntDomainVar B = pb.makeEnumIntVar("B",1,3);
    IntDomainVar y = pb.makeEnumIntVar("Y",1,3);
    IntDomainVar z = pb.makeEnumIntVar("Z",1,3);

    Constraint c1 = pb.neq(A,2);
    Constraint c2 = pb.eq(A,3);
    Constraint c3 = pb.eq(B,2);
    
    pb.post(pb.ifOnlyIf(c1,c3));
    pb.propagate();
    System.out.println(pb.pretty()); 

  }
}