“…Our overarching objective is to provide solutions for design tasks across the entire quantum software stack. This entails high-level support for end users in realizing their applications [6,7,8,9,10,11], efficient methods for the classical simulation [12,13,14,15,16,17,18,19,20,21,22,23,24,25,26], compilation [11,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46], and verification [47,48,49,50,51,52,53,54,…”