I\'m trying to solve a problem with Google OR-Tools\'s CP-Solver. Is it possible to add a constraint like this: x1 XOR x2 XOR x3 == 0 Thanks in advance.