Choco求解器记录

Question

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

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

有什么想法可以为求解器启用一些日志记录吗？

Answer 1

Chocoteam的人帮了忙。方法是

solver.showXXX()

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

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