Module rotation_optimization

Functions

• full_initial_state_propagation
• zhang_rotation_optimization
  Implementation of the Zhang et al algorithm for T-count optimization adapted to work with any angles (even parametrized rotations)