Quantum Algorithm Design, Constraint Satisfaction, Quantum Computing, Computer Science.
allows programs to repeatedly reuse the same bits of physical space in a program. Automating these tasks has been the domain of Electronic Design Automation (EDA) software which was a source of inspiration for the CLASSIQ engine. When synthesizing quantum programs, one particularly tricky piece of