我刚刚开始学习约束编程，所以如果我的问题可能非常微不足道，请原谅我。 主要动机是优化我已经通过蛮力解决的问题。我在 python 或工具模块中使用 CP-SAT 求解器。 这是我面临的问题的描述 ...