Program for learning quantum circuit compilation
Paper: Constructive quantum Shannon decomposition from Cartan involutions