//
// Dumb (due to Kyle Simpson)
// - why does propagate not fail?
//
import org.chocosolver.solver.Model;
import org.chocosolver.solver.Solver;
import org.chocosolver.solver.variables.IntVar;
import org.chocosolver.solver.exception.ContradictionException;

public class Dumb {

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

	model.arithm(v1,"=",v2).post();
	model.arithm(v1,"!=",v2).post();

	System.out.println("before: "+ v1 +" "+ v2);
	solver.propagate();
	System.out.println("after:  "+ v1 +" "+ v2);
	
	System.out.println(solver.solve());

	System.out.println(solver.getMeasures());
       
    }
}