//
// Dumber (due to PP)
// - Ciaran hates this
//
import org.chocosolver.solver.Model;
import org.chocosolver.solver.Solver;
import org.chocosolver.solver.variables.IntVar;
import org.chocosolver.solver.exception.ContradictionException;

public class Dumber {

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

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

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