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)