ORTOOLS CP SAT - XOR and AND combined

Question

我仍在学习ORTOOLS CP-SAT，这是一个很棒的工具！我遇到了布尔运算的困难。例如，在Python中，我有一个表达式数组(我指的是BoundedRinearExpression(的数组，其组织方式如下：

my_list = [ [ a<5, b>3, c>5 ],
[ d>8, e<=3, f+a=10 ],
...
]

我想在每一行上做一个逻辑AND。。。然后对我得到的所有结果进行异或运算。我不知道该怎么做。有人知道答案吗？感谢您的帮助

# it should end this way:
model.AddBoolXOr(???)

Answer 1

从阅读本文档部分开始

您需要为所有有界线性表达式创建布尔变量。