ORTOOLS CP SAT - XOR and组合

Question

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

    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

从阅读This doc section开始

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