'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();
s.findSolution();
profiler.writeTo(new File("profiling.txt"));
You can have an idea of what is being collected in the following discussion.
Sources
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 |