是否可以在 OR-Tools 中向 CP-Solver 模型添加 XOR 方程约束？

Question

我正在尝试使用 Google OR-Tools 的 CP-Solver 解决问题。是否可以添加这样的约束： x1 异或 x2 异或 x3 == 0 提前致谢。

Answer 1

AddBoolXOr of n booleans表示和是奇数。您可以添加另一个 True 布尔值。

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)])

是否可以在 OR-Tools 中向 CP-Solver 模型添加 XOR 方程约束？

Is it possible to add a XOR Equation Constraint to a CP-Solver model in OR-Tools?

or-tools