// // place n non-attacking queens on an n by n chessboard // Change order of making decisions // // NOTE: CP "hello world" // import java.io.*; import java.util.*; import org.chocosolver.solver.Model; import org.chocosolver.solver.Solver; import org.chocosolver.solver.variables.IntVar; import org.chocosolver.solver.constraints.IIntConstraintFactory.*; import org.chocosolver.solver.search.strategy.Search; import org.chocosolver.solver.exception.ContradictionException; public class NQueens1 { public static void main(String[] args) { int n = Integer.parseInt(args[0]); Model model = new Model("nqueens"); Solver solver = model.getSolver(); IntVar[] q = model.intVarArray("queen",n,0,n-1); // // columns constraint // for (int i=0;i