With MQT Bench v1.1.3, two new IQM devices have been introduced with the native gateset of {R,CZ}. However, during the compilation passes, it is assumed that the U3 gate is equivalent to the R gate. However, in the current checks whether the to-be-compiled circuit consists of only native gates, it is checked whether only {R,CZ} are present. If only {U3, CZ} gates are present, the check fails.
Describe the solution you'd like
There should be some kind of treatment such that MQT Predictor will be enabled to compile for those devices as well.
What's the problem this feature will solve?
With MQT Bench v1.1.3, two new IQM devices have been introduced with the native gateset of {R,CZ}. However, during the compilation passes, it is assumed that the U3 gate is equivalent to the R gate. However, in the current checks whether the to-be-compiled circuit consists of only native gates, it is checked whether only {R,CZ} are present. If only {U3, CZ} gates are present, the check fails.
Describe the solution you'd like
There should be some kind of treatment such that MQT Predictor will be enabled to compile for those devices as well.