我在Ortools CP-SAT中有一个布尔变量，比方说x。该变量位于约束条件中，假设 y = -5 * x。我在模型中还有另外两个约束，它们是模型。加法 （y >= 0）。OnlyEnforceIf...

我引用了链接中的代码并对其进行了一点修改以适应我的问题。 以下是我的问题描述： 只有一辆车，它从点 0（第 0 行/列 0）开始，到最后一点（最后一行/最后一列）结束。 成本矩阵是不对称的。（注意...

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

我正在玩 OR 工具，只是想知道是否有任何方法可以保持满足某个约束的次数？ 在这种情况下，我想跟踪我的“diff”变量为 -1、-2、0、2 等的次数。 我已经从官方文档中获得了解决方案打印机，那...