用Python进行约束编程

我正在尝试编写一个简单的脚本来解决CSP问题。我目前正在使用python约束

但我想在问题中的两个特定变量上添加一个约束。这可能吗？例如，变量a和b的总和应为5

---

谢谢

是的。只需提供约束所适用的变量名称列表，作为

addConstraint

的

variables

可选参数，这与主页上的第一个示例几乎相同：

problem.addConstraint（lambda，b:a*2==b，（“a”，“b”）

。唯一的区别是您想要

a+b==5

而不是

a*2==b

（或者您可以使用

ExactSumConstraint

而不是编写函数。）