Solvay-Kiteav theorem: https://en.wikipedia.org/wiki/Solovay%E2%80%93Kitaev_theorem https://en.wikipedia.org/wiki/Solovay%E2%80%93Kitaev_theorem /? Solvay-Kit

Solvay-Kiteav theorem: https://en.wikipedia.org/wiki/Solovay%E2%80%93Kitaev_theorem https://en.wikipedia.org/wiki/Solovay%E2%80%93Kitaev_theorem /? Solvay-Kiteav theorem Cirq QISkit: https://www.google.com/search?q=Solvay-Kiteav+theorem+cirq+qiskit https://www.google.com/search?q=Solvay-Kiteav+theorem+cirq+q... qiskit/transpiler/passes/synthesis/solovay_kitaev_synthesis.py: https://github.com/Qiskit/qiskit/blob/main/qiskit/transpiler/passes/synthesis/solovay_kitaev_synthesis.py https://github.com/Qiskit/qiskit/blob/main/qiskit/transpiler... qiskit/synthesis/discrete_basis/solovay_kitaev.py: https://github.com/Qiskit/qiskit/blob/stable/1.2/qiskit/synthesis/discrete_basis/solovay_kitaev.py#L24-L185 https://github.com/Qiskit/qiskit/blob/stable/1.2/qiskit/synt... SolovayKitaevDecomposition: https://docs.quantum.ibm.com/api/qiskit/qiskit.synthesis.SolovayKitaevDecomposition https://docs.quantum.ibm.com/api/qiskit/qiskit.synthesis.Sol... What are more current alternatives to the Solvay-Kiteav theorem for gate-based quantum computing?