//
// how dumb can it get?
//
import org.chocosolver.solver.Solver;
import org.chocosolver.solver.variables.*;
import org.chocosolver.solver.constraints.*;
import org.chocosolver.solver.search.strategy.*;
import org.chocosolver.solver.trace.Chatterbox;
import org.chocosolver.solver.exception.ContradictionException;


public class Dumb {

    public static void main(String args[]) throws ContradictionException {
      Solver solver = new Solver("Kyle's problem");
      IntVar v1 = VF.enumerated("v1",0,1,solver); 

      solver.post(ICF.arithm(v1,"!=",v1)); // v1 != v1

      solver.propagate();

      System.out.println(v1);

    }
}