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

Question

我的模型效率低下并且需要很长时间才能找到有效的解决方案，所以我认为知道约束被破坏的次数对于测试很有用。

谢谢

Answer 1

从 Choco-solver-4.10.8 开始，可以对传播有所了解。

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

您可以在下面的讨论中了解正在收集的内容。