'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.

Thank you

Solution 1:[1]

Since Choco-solver-4.10.8, it is possible to have insights on the propagation.

Solver s = m.getSolver();
PropagationProfiler profiler = s.profilePropagation();
profiler.writeTo(new File("profiling.txt"));

You can have an idea of what is being collected in the following discussion.


This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source
Solution 1 cprudhom