Choco 求解器记录

Question

我是第一次尝试 Choco 求解器（版本 4.10.1），我不知道如何为求解器启用日志记录。 我添加了 slf4j-log4j12 依赖项和一个 log4j.properties 文件。

对于较旧的 Choco（例如 v3）版本，文档提到了一些关于此的内容。例如一些 Chatterbox class，它不再存在。

知道如何为求解器启用一些日志记录吗？

Answer 1

Chocoteam 的小伙伴们提供了帮助。这些方法是

solver.showXXX()

例如showDecisions()、showSolutions() 等，还有 printStatistics()

有关详细信息，请参阅 javadoc。