CNOT-Optimal Clifford Synthesis as SAT

Re-assign community