Abstract: Quantum computers may solve some computing tasks more efficiently than classical com- puters, but to do so requires the design of appropriate quantum circuits. However, it is hard to design ...