CP-Sat 的 OR-Tools 优化

【问题标题】：OR-Tools optimization eith CP-SatCP-Sat 的 OR-Tools 优化
【发布时间】：2021-01-11 10:38:38
【问题描述】：

我正在使用 OR-Tools / CP-sat 求解器解决 Python 中的优化问题。我正在使用一个需要几个小时才能达到最佳解决方案的文件。有什么方法可以在终端中查看流程的进展情况，例如迄今为止找到的最佳解决方案、经过的时间等......？我知道使用 cplex 求解器我们可以看到这一点。

谢谢

【问题讨论】：

【解决方案1】：

首先，您需要在参数中添加log_search_progress:true。

其次，使用多个工人来加速解决它的好方法。这是通过使用num_search_workers:XXX 参数完成的。如果你有一台像样的机器，XXX=8 就好了。如果你有更强大的机器，你可以试试 XXX=12 或 16（或更多）。

【讨论】：