qiskit.transpiler.passes.CrosstalkAdaptiveSchedule.create_z3_vars¶ CrosstalkAdaptiveSchedule.create_z3_vars()[source]¶ Setup the variables required for Z3 optimization