是否可以在OR-Tools中将XOR方程约束添加到CP-Solver模型？
是否可以在OR-Tools中将XOR方程约束添加到CP-Solver模型？
提问于 2020-12-02 02:10:48
我正在尝试用Google OR-Tools的CP-Solver解决一个问题。有没有可能添加这样的约束: x1 XOR x2 XOR x3 == 0，提前谢谢。
回答 1
Stack Overflow用户
回答已采纳
发布于 2020-12-02 02:42:20
N个布尔值的AddBoolXOr表示和是奇数。您可以只添加另一个True boolean。
from ortools.sat.python import cp_model
model = cp_model.CpModel()
solver = cp_model.CpSolver()
a = model.NewBoolVar("")
b = model.NewBoolVar("")
c = model.NewBoolVar("")
model.AddBoolXOr([a, b, c, 1])
solver.Solve(model)
print([solver.Value(x) for x in (a, b, c)])页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/65096120
复制相关文章
相似问题
腾讯云开发者
