小编Nie*_*ädt的帖子

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