On SAT representations of XOR constraints

Re-assign community