CrosstalkAdaptiveSchedule.extract_solution

CrosstalkAdaptiveSchedule.extract_solution()[source]

Extract gate start and finish times from Z3 solution