//import static org.chocosolver.solver.search.strategy.ISF.*;
import org.chocosolver.solver.Solver;
import org.chocosolver.solver.variables.*;
import org.chocosolver.solver.constraints.*;
import org.chocosolver.solver.trace.Chatterbox;
import org.chocosolver.solver.exception.ContradictionException;

public class Test {
    
    public static void main(String args[]) throws ContradictionException {
      Solver solver = new Solver("test");
      IntVar x = VariableFactory.bounded("X",0,5,solver);
      IntVar y = VariableFactory.bounded("Y",0,5,solver);
      IntVar z = VF.bounded("Z",1,5,solver);
      solver.post(IntConstraintFactory.arithm(x,"+",y,"<",5));
      solver.post(ICF.arithm(x,"=",z));
      System.out.println(x);
      System.out.println(solver);
      solver.propagate();
      System.out.println(solver);
      solver.findSolution();
      Chatterbox.printStatistics(solver);
      System.out.println(x);
      System.out.println(solver);
    }
}