SyReC Synthesizer: A Tool for HDL-based Synthesis of Reversible Circuits
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. It builds upon MQT Core, which forms the backbone of the MQT.
If you have any questions, feel free to contact us by creating an issue on GitHub.
Getting Started
The SyReC Synthesizer is available via PyPI for Linux, macOS, and Windows.
- In order to make the library as easy to use as possible (without compilation), we provide pre-built wheels for most common platforms (64-bit Linux, MacOS, Windows). These can be installed using
(venv) $ pip install mqt.syrec
- Once installed, start the SyReC Synthesizer GUI by running:
(venv) $ syrec-editor
Detailed documentation on all available methods, options, and input formats is available at ReadTheDocs.
System Requirements and Building
The implementation is compatible with any C++17 compiler and a minimum CMake version of 3.19. Please refer to the documentation on how to build the project.
Building (and running) is continuously tested under Linux, macOS, and Windows using the latest available system versions for GitHub Actions.
References
SyReC Synthesizer has been developed based on methods proposed in the following papers:
[1] S. Adarsh, L. Burgholzer, T. Manjunath and R. Wille. SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Software Impacts, 2022.
[2] R. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for Synthesis of Reversible Circuits. In Forum on Specification and Design Languages (FDL), 2010.
[3] R. Wille, E. Schönborn, M. Soeken, and R. Drechsler. SyReC: A hardware description language for the specification and synthesis of reversible circuits. Integration (The VLSI Journal), 2016.
[4] R. Wille, M. Haghparast, S. Adarsh, and T. Manjunath. Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines. In International Conference on Computer Aided Design (ICCAD), 2019.
Metadata
Release files for mqt-syrec 1.1.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| mqt_syrec-1.1.1.tar.gz | 1.5 MB | Details |
Built distributions (wheels)
Total release size: 15.4 MB
Release files / mqt_syrec-1.1.1.tar.gz
| Download URL | mqt_syrec-1.1.1.tar.gz |
|---|---|
| Size | 1.5 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
7a53287c9c0db98202983d9c9309edb3fc42c09db7d0936a96556656997a08f9
|
|
BLAKE2b-256 checksum How to use checksums |
7df8295e2be5c1c7c1f49881bb2dab03d60026a587fccaf91420940c25efa058
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp312-abi3-win_amd64.whl
| Download URL | mqt_syrec-1.1.1-cp312-abi3-win_amd64.whl |
|---|---|
| Size | 1.7 MB |
| Tags | CPython 3.12 Windows x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
5cc4105a96b9a20de41f46fe2cd7435ad1d91648ea2fdd417d06ee30e7f790b7
|
|
BLAKE2b-256 checksum How to use checksums |
1b9e1bbcfe574e841adde4c23d14ce4cb0d9ec566fbbb0edc31e236b06e2ff2c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp312-abi3-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp312-abi3-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl |
|---|---|
| Size | 294.1 kB |
| Tags | CPython 3.12 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
420854c12d911e909232be6bee0a5f8283d506ad7565ec35ad6deb7ac6f6e0cf
|
|
BLAKE2b-256 checksum How to use checksums |
abae6d9652ea364531013c98aca93eb603f0e56f60c4c6a5e45f9468197671cd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp312-abi3-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl
| Download URL | mqt_syrec-1.1.1-cp312-abi3-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl |
|---|---|
| Size | 271.2 kB |
| Tags | CPython 3.12 Linux glibc 2.27+ ARM64 Linux glibc 2.28+ ARM64 abi3 |
|
SHA-256 checksum How to use checksums |
409c32f30778f299c5dc30e34cfca83a6255a1dfdec98556e9231ed5149734e8
|
|
BLAKE2b-256 checksum How to use checksums |
21f64ce47d5ae84296cd6ae6f0ed09cd0d7b8c1e5be175f8f8cd43e39d92d1c0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp312-abi3-macosx_11_0_arm64.whl
| Download URL | mqt_syrec-1.1.1-cp312-abi3-macosx_11_0_arm64.whl |
|---|---|
| Size | 252.1 kB |
| Tags | CPython 3.12 abi3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
4fcc38ff6b7b39b241b3ad411094626deeeedfdf375f932ec1dc8cfc3a410099
|
|
BLAKE2b-256 checksum How to use checksums |
898e70ff4a950dcc93cd07538fbb6cbbb8644616162a4978a2bc89a42d135f47
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp312-abi3-macosx_10_15_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp312-abi3-macosx_10_15_x86_64.whl |
|---|---|
| Size | 271.1 kB |
| Tags | CPython 3.12 abi3 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
4fa60db432fb445a1fba1b55fc55b9671596f90671151e649297e8330970fd6a
|
|
BLAKE2b-256 checksum How to use checksums |
244dcf6b35169a9c948b0f7d11a5c0866a2eaedd338fcb2d0a366c15cfbad5dc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp311-cp311-win_amd64.whl
| Download URL | mqt_syrec-1.1.1-cp311-cp311-win_amd64.whl |
|---|---|
| Size | 1.7 MB |
| Tags | CPython 3.11 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
2041e66f554c62d73cdc0b113d878e9eebee882131d4577733806a4970f793f5
|
|
BLAKE2b-256 checksum How to use checksums |
3ae1e1d1c9ec3b234c34ad98f2c5c34d9bd4847cda3644adf4c5abce211877b5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp311-cp311-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp311-cp311-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl |
|---|---|
| Size | 295.8 kB |
| Tags | CPython 3.11 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
9c73346e53a50faa7b29a652f181f18bd5f0e2c73b3947dd0775303902487057
|
|
BLAKE2b-256 checksum How to use checksums |
e466d8b6d93b190f421533ba9b2e78af4563e0fa1097151df6560dfe43351137
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp311-cp311-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl
| Download URL | mqt_syrec-1.1.1-cp311-cp311-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl |
|---|---|
| Size | 272.9 kB |
| Tags | CPython 3.11 Linux glibc 2.27+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
cba38620699a5daa853b347deba682268a2e64dfc79632ef9ffa2aa932b459c6
|
|
BLAKE2b-256 checksum How to use checksums |
3cacc8dac37b867427c37bed0e9c5d4a226fdbf789040505a04e96515d33367f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | mqt_syrec-1.1.1-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 251.9 kB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
f413020a5e3d1178fd47b6e667f5a5282c382c5202eaec60677ac9220157e661
|
|
BLAKE2b-256 checksum How to use checksums |
36af88a668573536fe6852687281b427b00f70432d1820744a034a9e81e9d8af
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp311-cp311-macosx_10_15_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp311-cp311-macosx_10_15_x86_64.whl |
|---|---|
| Size | 268.9 kB |
| Tags | CPython 3.11 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
ada2920ade89623060d74815e689f26a491e4ae3614b942485740aa08ad752da
|
|
BLAKE2b-256 checksum How to use checksums |
b0fa7d15584b3dfd72291a6b0ef407f776838df959714023952d29add75fa164
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp310-cp310-win_amd64.whl
| Download URL | mqt_syrec-1.1.1-cp310-cp310-win_amd64.whl |
|---|---|
| Size | 1.7 MB |
| Tags | CPython 3.10 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
bedc5a929beadcffa8ee0506c5830431a4457f6f9bf4643e4dbada5b72f4370d
|
|
BLAKE2b-256 checksum How to use checksums |
cd78fe567c8b9566ede5e756587cc7cbdd3c18cf0dfadc7835f264831e9ca604
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp310-cp310-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp310-cp310-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl |
|---|---|
| Size | 294.8 kB |
| Tags | CPython 3.10 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
33d6f7ad1c2d10bd31bc82dac876906bfdeed759957bbf858b36d19d0c4dc2a0
|
|
BLAKE2b-256 checksum How to use checksums |
1723e0bfca204a9dbab5f1f12c10501e185595f73e0b0750111b1cf5818f6994
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp310-cp310-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl
| Download URL | mqt_syrec-1.1.1-cp310-cp310-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl |
|---|---|
| Size | 271.2 kB |
| Tags | CPython 3.10 Linux glibc 2.27+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
00839ea6371dbf93bf52179ac25a69f63375b308a046b6b9fb7d28329f79eb95
|
|
BLAKE2b-256 checksum How to use checksums |
d8a9c45429683cf043ee6a0228d0d8df96dce3ee6041781a3eac7b0c813247f4
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp310-cp310-macosx_11_0_arm64.whl
| Download URL | mqt_syrec-1.1.1-cp310-cp310-macosx_11_0_arm64.whl |
|---|---|
| Size | 250.6 kB |
| Tags | CPython 3.10 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
177e57074215bb43f00500b67319f4544d5d9949d8ba3561a54a1d70020f2dc8
|
|
BLAKE2b-256 checksum How to use checksums |
6038fffbe1d47da4918ca37b2b16456cef4d678c10a57b343120ed9919c2e6f6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp310-cp310-macosx_10_15_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp310-cp310-macosx_10_15_x86_64.whl |
|---|---|
| Size | 267.6 kB |
| Tags | CPython 3.10 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
313d45f658d7247a8892aa480874153366a2e980fb5c5aa940cf6e312a6a68be
|
|
BLAKE2b-256 checksum How to use checksums |
aad836f7409d8a018ad7b905251c5df1c80a058944423904c165450b225b8a01
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp39-cp39-win_amd64.whl
| Download URL | mqt_syrec-1.1.1-cp39-cp39-win_amd64.whl |
|---|---|
| Size | 1.7 MB |
| Tags | CPython 3.9 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
a18d03e0eac43da708c42614c00e7f0a5788adabe9ba2acdea8e036cbeaca0d9
|
|
BLAKE2b-256 checksum How to use checksums |
c98a4846e640eca659370ae0d2044fc1210f05664cabeea39cc38eb783ff04db
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp39-cp39-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp39-cp39-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl |
|---|---|
| Size | 294.6 kB |
| Tags | CPython 3.9 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
f55dd12346ea0df5ef06ba152d8fc45139450c676646bfb4f6e80bb9dee5d5c3
|
|
BLAKE2b-256 checksum How to use checksums |
c8bc8995211c412090acfec2ab06a59c24f7bcb636f75c12dec149f39bbcaa25
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp39-cp39-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl
| Download URL | mqt_syrec-1.1.1-cp39-cp39-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl |
|---|---|
| Size | 271.8 kB |
| Tags | CPython 3.9 Linux glibc 2.27+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
1b958505a808d026d9f059004ed5ebc73ee97029a3f8e878f2726cee7655571e
|
|
BLAKE2b-256 checksum How to use checksums |
6bc0f40d49ed498436c6f083b3668df6803843ee3f012c7b193464d1ae14cd29
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp39-cp39-macosx_11_0_arm64.whl
| Download URL | mqt_syrec-1.1.1-cp39-cp39-macosx_11_0_arm64.whl |
|---|---|
| Size | 250.7 kB |
| Tags | CPython 3.9 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
138cd9ae2783473a2e95ce38ec8a16e3e7570fb24183f7646604a741b9211f65
|
|
BLAKE2b-256 checksum How to use checksums |
45327c38ddfb99154d4f854e616348bbb43793ec73852fa8de89883a44353295
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp39-cp39-macosx_10_15_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp39-cp39-macosx_10_15_x86_64.whl |
|---|---|
| Size | 267.6 kB |
| Tags | CPython 3.9 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
5d0fb8ea728a465941fa1cb0fc55bb1964a281db64c12699938e89542ee325b9
|
|
BLAKE2b-256 checksum How to use checksums |
b477dfffb4b78b0ff1f36a97b9d82833bb9c3a472ada5e820b43c4307779272a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp38-cp38-win_amd64.whl
| Download URL | mqt_syrec-1.1.1-cp38-cp38-win_amd64.whl |
|---|---|
| Size | 1.7 MB |
| Tags | CPython 3.8 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
143b41922d1859e50d0fca82c8964ed98101206f93cb188a5020bc1dc8162c0d
|
|
BLAKE2b-256 checksum How to use checksums |
09625bfddd7909e168542da5d0f09d4da30754f39332e3e2fe9ff497d5903048
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp38-cp38-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp38-cp38-manylinux_2_28_x86_64.manylinux_2_27_x86_64.whl |
|---|---|
| Size | 294.2 kB |
| Tags | CPython 3.8 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
647062a1b1a5a930505fb50544dd68d1ed8eaccfb038d13b6c29e0db064bf275
|
|
BLAKE2b-256 checksum How to use checksums |
aa5c119b4a55afb539a4e794ef9e12845d485805dc2ff8de15b0f3d3c56dc2d2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
Release files / mqt_syrec-1.1.1-cp38-cp38-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl
| Download URL | mqt_syrec-1.1.1-cp38-cp38-manylinux_2_28_aarch64.manylinux_2_27_aarch64.whl |
|---|---|
| Size | 270.8 kB |
| Tags | CPython 3.8 Linux glibc 2.27+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
9f8de9c7a28105d73d51459893c0b2278d15cbb80ba4481a4cf5c2b705a76ae2
|
|
BLAKE2b-256 checksum How to use checksums |
3fb5a392afd8c498cd9ccc5f295d56a5fb6e41c281a37f3f78313ca0bd096ecd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp38-cp38-macosx_11_0_arm64.whl
| Download URL | mqt_syrec-1.1.1-cp38-cp38-macosx_11_0_arm64.whl |
|---|---|
| Size | 250.5 kB |
| Tags | CPython 3.8 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
ca7c5e2b47656285848072efbb03bd3f1075155cdad6327b8f998a4a769da16b
|
|
BLAKE2b-256 checksum How to use checksums |
f334a74a3281e777234f4d38876f7e1a41a4a40e3c4694b9417c5ed5a66668ea
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.10.13
|
Release files / mqt_syrec-1.1.1-cp38-cp38-macosx_10_15_x86_64.whl
| Download URL | mqt_syrec-1.1.1-cp38-cp38-macosx_10_15_x86_64.whl |
|---|---|
| Size | 267.5 kB |
| Tags | CPython 3.8 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
eb4137b417e090b6a8421b5c5a4b7170d876721ff91262d6d29fc576fec2fd82
|
|
BLAKE2b-256 checksum How to use checksums |
e5c976b5fafeeef2b1738a2c9f5ebe3368606e5cc29e63d31335009efde8dfd9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/4.0.2 CPython/3.11.7
|
