ORTOOLS CP SAT - XOR and AND combined

Question

I am still learning ORTOOLS CP-SAT which is a great tool! I am getting into boolean operations difficulties. For instance in Python, I have an array of an array of expressions (I mean BoundedLinearExpression) organized like this:

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

I want to make a logical AND on each line... and then a XOR on all the results I got. I have no clue how to do that. Does someone know the answer? Thanks for your help

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

Also note that `XOr` is not the same as `sum(...) == 1`? – Stradivari Jan 12 '21 at 15:34 — Stradivari, Jan 12 '21 at 15:34

score 0 · Answer 1 · answered Jan 12 '21 at 15:31

0

Start by reading This doc section

You need to create Boolean variables for all bounded linear expressions.

answered Jan 12 '21 at 15:31

Laurent Perron

8,594
1
8
22

ORTOOLS CP SAT - XOR and AND combined

1 Answers1