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

Question

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

Answer 1

AddBoolXOr of n 个 bool 值意味着和是奇数。您可以添加另一个 True bool 值。

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