ortools 忽略找到的解决方案

Question

我正在使用ortools.sat.python.cp_model（版本9.9）来解决某种JSSP。我的启发式方法可以找到（可能不可行的）解决方案。我测试解决方案，选择最好的一个并使用 add_hint() 将它们提供给我的 CpModel。

我定了

solver.parameters.max_time_in_seconds = 3
solver.parameters.log_search_progress = True
solver.parameters.fix_variables_to_their_hinted_value = False

并调用solver.solve() 现在这些行出现在输出中：

• 解决方案提示完整且可行。
• CpSolver响应摘要：
• 状态：未知

solver.solve()的返回也是UNKNOWN状态。

据我了解，求解器检查我的提示，将它们识别为可行的解决方案，但仍然在不知道问题可行的情况下结束。是否有解释和方法来改变这种行为，或者这是一个错误？

Answer 1

升级or-tools版本。

它在 9.11 中得到了很大改进，并且在即将到来的 9.12 中大部分得到修复。