// // uses the n-ary constraint proposed by Prosser & Unsworth IJCAI2005 // import java.io.*; import java.util.*; import static choco.Choco.*; import choco.cp.model.CPModel; import choco.cp.solver.CPSolver; import choco.kernel.model.Model; import choco.kernel.solver.Solver; import choco.kernel.model.variables.integer.IntegerVariable; import choco.kernel.solver.ContradictionException; import choco.cp.solver.search.integer.varselector.StaticVarOrder; public class SRNaryFirst extends SRNary { SRNaryFirst(String fname) throws IOException {super(fname);} void solve(String command) throws ContradictionException { solveTime = System.currentTimeMillis(); solver.setVarIntSelector(new StaticVarOrder(solver.getVar(agent))); solver.solve(); solveTime = System.currentTimeMillis() - solveTime; totalTime = System.currentTimeMillis() - totalTime; } public static void main(String[] args) throws IOException, ContradictionException { SRNaryFirst sr = new SRNaryFirst(args[0]); sr.build(); sr.solve("null"); System.out.println("solutions: -1"); sr.stats(); } }