//
// loop: a < b < c < a
//
import org.chocosolver.solver.Model;
import org.chocosolver.solver.Solver;
import org.chocosolver.solver.variables.IntVar;
import org.chocosolver.solver.exception.ContradictionException;

public class Loop {

    public static void main(String args[]) throws ContradictionException {
	Model model   = new Model("Loop");
	Solver solver = model.getSolver();
	
	IntVar a = model.intVar("a",1,10);
	IntVar b = model.intVar("b",1,10);
	IntVar c = model.intVar("c",1,10);

	model.arithm(a,"<",b).post();
	model.arithm(b,"<",c).post();
	model.arithm(c,"<",a).post();
	
	System.out.println(model);
	
	solver.propagate();

	System.out.println(model);       
    }
}