import choco.Problem;
import choco.ContradictionException;
import choco.integer.*;
import choco.Constraint;

public class Test3 {

  
  public static void main(String[] args) {
     Problem pb = new Problem();

     IntDomainVar v = pb.makeEnumIntVar("v",0,2);
     IntDomainVar w = pb.makeEnumIntVar("w",0,2);
     IntDomainVar x = pb.makeEnumIntVar("x",0,2);
     IntDomainVar y = pb.makeEnumIntVar("y",0,2);
     IntDomainVar z = pb.makeEnumIntVar("z",0,2);
     IntDomainVar d = pb.makeEnumIntVar("d",0,1);
     
     Constraint C1  = pb.and(pb.eq(x,z),pb.lt(x,z));
     Constraint Cn  = pb.and(C1,pb.eq(v,w));
     Constraint C2  = pb.eq(d,0);

     pb.post(pb.ifOnlyIf(Cn,C2));

     pb.solve(false);

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

  }
}