or-tools - 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(???)

标签： or-toolscp-sat-solver

Answer 1

从阅读此文档部分开始

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