Code contributions

I am using this note to keep track of past code contributions, from most recent to oldest

1. Cirq ( see all )
   1. Optimize Clifford Gate exponentiation via a binary expansion
   2. Optimize QubitPermutationGate decomposition into swaps
2. Sympy
   1. Add Minisat22 solver to Sympy’s satisfiable algorithms