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 ],
                 ...
              ]

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

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

Answer 1

从阅读This doc section开始

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