在条件之后递增IntVar

Question

我正在使用巧克力解算器来解决我的约束问题。在Choco之后是否可以在像model.ifThen？

这样的条件之后递增IntVar

Answer 1

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