constraint-programming - 在条件后增加 IntVar

Question

我正在使用 choco 求解器来解决我的约束问题。在像 model.ifThen 这样的条件之后，Choco 是否可以增加 IntVar？

Answer 1

在约束编程中，您永远不会增加变量。它是一种声明性（非强制性）范式，您只需发布必须满足的约束，而不是描述如何计算解决方案（对值的操作）。x=x+1 在约束规划中是胡说八道，导致“无解”。