solver = new ImprovedBacktrackingStrategy(true, true, true, true);
solver.addCSPStateListener(stepCounter);
stepCounter.reset();
System.out.println("Map Coloring (Backtracking + MRV + DEG + AC3 + LCV)");
System.out.println(solver.solve(csp.copyDomains()));
System.out.println(stepCounter.getResults() + "\n");
solver = new BacktrackingStrategy();
solver.addCSPStateListener(stepCounter);
stepCounter.reset();