choco - Choco 求解器日志记录

Question

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

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

任何想法如何为求解器启用一些日志记录？

Answer 1

Chocoteam 的人提供了帮助。方法是

solver.showXXX()

例如showDecisions(), showSolutions(), 等等 还有printStatistics()

有关更多信息，请参阅javadoc。