Welcome to the documentation of the SyReC Synthesizer!

The SyReC Synthesizer is a tool for HDL-based synthesis of reversible circuits developed as part of the Munich Quantum Toolkit (MQT) by the Chair for Design Automation at the Technical University of Munich.

We recommend you to start with the installation instructions. Then proceed to read the reference documentation. If you are interested in the theory behind SyReC Synthesizer, have a look at the publications in the publication list.

We appreciate any feedback and contributions to the project. If you want to contribute, you can find more information in the Contribution guide. If you are having trouble with the installation or the usage of SyReC Synthesizer, please let us know at our Support page or by reaching out to us at quantum.cda@xcit.tum.de.