Choco-Solver：有没有办法知道在求解过程中约束被破坏了多少次？

Question

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.

Thank you

Answer 1

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 .