'Choco-Solver: Is there a way to know how many times a constraint is broken during the solving process?
My models is inefficient and taking too long to find valid solutions so I think knowing how many times the constraints are being broken would be useful for testing.
Since Choco-solver-4.10.8, it is possible to have insights on the propagation.
//... Solver s = m.getSolver(); PropagationProfiler profiler = s.profilePropagation(); s.findSolution(); profiler.writeTo(new File("profiling.txt"));
You can have an idea of what is being collected in the following discussion.