SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. - Smaran Adarsh; Lukas Burgholzer; Tanmay Manjunath; Robert Wille (Softw. Impacts, 2022)