[!NOTE] This project is currently in low maintenance mode. We will still fix bugs and accept pull requests, but we will not actively develop new features.
MQT QuSAT - A Tool for Utilizing SAT in Quantum Computing
A tool for utilizing satisfiablity testing (SAT) techniques in quantum computing developed as part of the Munich Quantum Toolkit (MQT) by the Chair for Design Automation at the Technical University of Munich based on methods proposed in:
- [1] L. Berent, L. Burgholzer, and R. Wille. Towards a Satisfiability Encoding for Quantum Circuits. 2022.
QuSAT builds upon MQT Core, which forms the backbone of the MQT.
The project can be used to
- Encode Clifford circuits in SAT
- Check the equivalence of Clifford circuits using SAT
If you have any questions, feel free to contact us via quantum.cda@xcit.tum.de or by creating an issue on GitHub.
Towards a Satisfiability Encoding for Quantum Circuits
The results from the paper can be reproduced by first building the project as described below and then executing the resulting qusat_test executable in the build directory.
In order to replicate the full range of results, the test/test_satencoder.cpp needs to be modified before building the project.
The corresponding lines to be changed are marked with a // Paper Evaluation: comment.
Running the executable, produces several .json files containing the experimental data. The python script /results/visualizer.py can be used
to plot the respective data.
Note that, as we use a randomized procedure to generate input data, the exact experimental data will slightly vary every time the benchmarks are run.
The experimental data used in the paper is available in /results directory.
System Requirements
Building (and running) is continuously tested under Linux, MacOS, and Windows using the latest available system versions for GitHub Actions. However, the implementation should be compatible with any current C++ compiler supporting C++17 and a minimum CMake version of 3.19.
The SMT Solver Z3 >= 4.8.3 has to be installed and the dynamic linker has to be able to find the library. This can be accomplished in a multitude of ways:
- Under Ubuntu 20.04 and newer:
sudo apt-get install libz3-dev - Under macOS:
brew install z3 - Alternatively:
pip install z3-solverand then append the corresponding path to the library path (LD_LIBRARY_PATHunder Linux,DYLD_LIBRARY_PATHunder macOS), e.g. viaexport LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$(python -c "import z3; print(z3.__path__[0]+'/lib')")
- Download pre-built binaries from https://github.com/Z3Prover/z3/releases and copy the files to the respective system directories
- Build Z3 from source and install it to the system
Configuration and Build
To start off, clone this repository using
git clone https://github.com/cda-tum/mqt-qusat
The project uses CMake as the main build configuration tool. Building a project using CMake is a two-stage process. First, CMake needs to be configured by calling
cmake -S . -B build -DBUILD_MQT_QUSAT_TESTS=ON -DZ3_ROOT=/path/to/z3/
This tells CMake to search the current directory . (passed via -S) for a CMakeLists.txt file and process it into a directory build (passed via -B). If your installation of Z3 is recent enough, the Z3_ROOT can typically be omitted.
After configuring with CMake, the library can be built by calling
cmake --build build
This tries to build the project in the build directory (passed via --build).
Some operating systems and developer environments explicitly require a configuration to be set, which is why the --config flag is also passed to the build command. The flag --parallel <NUMBER_OF_THREADS> may be added to trigger a parallel build.
Reference
If you use our tool for your research, we would appreciate if you refer to it by citing the appropriate publication:
@inproceedings{berent2022sat,
title={Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond},
author={Lucas Berent and Lukas Burgholzer and Robert Wille},
year={2022},
booktitle={International Conference on Theory and Applications of Satisfiability Testing}
}
Acknowledgements
The Munich Quantum Toolkit has been supported by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (grant agreement No. 101001318), the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program, as well as the Munich Quantum Valley, which is supported by the Bavarian state government with funds from the Hightech Agenda Bayern Plus.
Metadata
Release files for mqt-qusat 1.2.0
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_qusat-1.2.0.tar.gz | 726.4 kB | Details |
Built distributions (wheels)
Total release size: 293.5 MB
Release files / mqt_qusat-1.2.0.tar.gz
| Download URL | mqt_qusat-1.2.0.tar.gz |
|---|---|
| Size | 726.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
ae7d5d000e923d2da2340ad442118f09aa482ca249f4d54438cb6bfb5d787346
|
|
BLAKE2b-256 checksum How to use checksums |
99856cddf783859a4d8a794a16fddd3cd8b6c8205afb2168433493a99564ae08
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313t-win_amd64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313t-win_amd64.whl |
|---|---|
| Size | 7.5 MB |
| Tags | CPython 3.13 CPython 3.13 free-threading Windows x86-64 |
|
SHA-256 checksum How to use checksums |
6fc36efe4448b919493f24dd00b741ae1cd872cb329beced66604a488bb987e2
|
|
BLAKE2b-256 checksum How to use checksums |
b6bf1b33b49d4d763fff5625fddb9da76e529ddcd5d5efe709e5b859b0c6f5ba
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313t-manylinux_2_28_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313t-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 13.1 MB |
| Tags | CPython 3.13 CPython 3.13 free-threading Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
4cbc136d1ff4684c51fd1e4323a51a3843727da01c5fa59a1ddb1f5ac8db6504
|
|
BLAKE2b-256 checksum How to use checksums |
e4ff6f91ddf660b47d92e609ff5f6c0a8f130eee6852a6dfbe7df02cb98751f7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313t-manylinux_2_28_aarch64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313t-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.13 CPython 3.13 free-threading Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
683472effc2008d7e5000f51468584b0a5ec8db8c634e5c3f228d8417404ae28
|
|
BLAKE2b-256 checksum How to use checksums |
2a210881accbeed146205264d3eb64aa417246b3f46d4c00b6b68cf6bb2fd44c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313t-macosx_11_0_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313t-macosx_11_0_x86_64.whl |
|---|---|
| Size | 10.2 MB |
| Tags | CPython 3.13 CPython 3.13 free-threading macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
c2e59a62271de7f83c33970972a983bd183ba8ed11270f97b92456ccbecae440
|
|
BLAKE2b-256 checksum How to use checksums |
1fc4063981af3d660b64edf21fab257f9eafd541dc54529bb7445cc57575b63f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313t-macosx_11_0_arm64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313t-macosx_11_0_arm64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.13 CPython 3.13 free-threading macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
cc20cd20bcb46ec3f64e832e89d4d0ef795f0af1df03109e388baaa34a4d52e3
|
|
BLAKE2b-256 checksum How to use checksums |
8ca8f52cad17290c81871c5dab34a432d07db24877f16bf2199eff859f0f219e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313-win_amd64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313-win_amd64.whl |
|---|---|
| Size | 7.5 MB |
| Tags | CPython 3.13 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
916ffa3df242a21f66105783bb703cfc997dd0ce974dfdfc6692f73701c084ae
|
|
BLAKE2b-256 checksum How to use checksums |
78880ae4b13702d6fd7b8366cd919d58a9d421b24b50d5596145b185f285115f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313-manylinux_2_28_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 13.1 MB |
| Tags | CPython 3.13 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
003d61889e02be3f355d5ac1eea30fa85cf48d69240e489b958010dab10738af
|
|
BLAKE2b-256 checksum How to use checksums |
af54fda4eecfde1a5dc15938d96da15bd12da1f277234d908f31696bebad5072
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313-manylinux_2_28_aarch64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.13 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
73a584f303ae68b2f70e45854080513a051379363010857db4db431157425a81
|
|
BLAKE2b-256 checksum How to use checksums |
43b4ba5ffa5062882b78698e601d8faf54ff23c0cdc6337bada9fb9345e72bd1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313-macosx_11_0_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313-macosx_11_0_x86_64.whl |
|---|---|
| Size | 10.2 MB |
| Tags | CPython 3.13 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
86bfdd815175725da75b41ea09b82f713122e326a730405434c07ee7741796ca
|
|
BLAKE2b-256 checksum How to use checksums |
f5dab3c5f1fccf6d190de0fda744a05d294d9561127b428d5e9ebab2b02680e9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp313-cp313-macosx_11_0_arm64.whl
| Download URL | mqt_qusat-1.2.0-cp313-cp313-macosx_11_0_arm64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.13 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
5748d5a6c37ded496eb0550c1d53ba4b3fb31b9d9b50872938b47e33792d50a8
|
|
BLAKE2b-256 checksum How to use checksums |
736dbcbdb6ad4eb970192bf00b4c61a39fbb0249267e61c784488db6ba0ea685
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp312-cp312-win_amd64.whl
| Download URL | mqt_qusat-1.2.0-cp312-cp312-win_amd64.whl |
|---|---|
| Size | 7.5 MB |
| Tags | CPython 3.12 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
e5e91c5652a0db047b942ad3bc5af4b747cc2f04e11ec31837d31e42db1a25de
|
|
BLAKE2b-256 checksum How to use checksums |
d2ff39f54960cf2aa3b17c0572ac360f2c5cc494ec04b62a9140a48f82cb02e5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp312-cp312-manylinux_2_28_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp312-cp312-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 13.1 MB |
| Tags | CPython 3.12 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
47ae4a4ff4da5e99db7b767a68a7a6f1ae1505113d4c0633477ae17f50cfc81e
|
|
BLAKE2b-256 checksum How to use checksums |
8979d69e8bf12b5e838b45fafa754a8603b1ca8c09e0537ea8fe28ef391ea84c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp312-cp312-manylinux_2_28_aarch64.whl
| Download URL | mqt_qusat-1.2.0-cp312-cp312-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.12 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
e9a4f1feb05347f74173753bef535bb18f4924e934037cf9481d2895c50ece6c
|
|
BLAKE2b-256 checksum How to use checksums |
b89ce9c7bc8b76b3b463c80d40d36f069f6459e06cf6da3cd237b86df9896f9b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp312-cp312-macosx_11_0_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp312-cp312-macosx_11_0_x86_64.whl |
|---|---|
| Size | 10.2 MB |
| Tags | CPython 3.12 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
a6cfdf6f70c4ad71d0e5c23b893af56742b433ccd458d8262c2ee55e767d047d
|
|
BLAKE2b-256 checksum How to use checksums |
b4df2524115f537d19e6233fce4482a46330e56987e97f1c6e12d53d330baf5d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp312-cp312-macosx_11_0_arm64.whl
| Download URL | mqt_qusat-1.2.0-cp312-cp312-macosx_11_0_arm64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.12 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
7b39b92a5f51bc48316a47888650f7c837d91acf1a2af05ef830b45b7faeed07
|
|
BLAKE2b-256 checksum How to use checksums |
0b19311d097ebc416792737806eca92f73871e239cdccccefee315b28d77a83f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp311-cp311-win_amd64.whl
| Download URL | mqt_qusat-1.2.0-cp311-cp311-win_amd64.whl |
|---|---|
| Size | 7.5 MB |
| Tags | CPython 3.11 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
2b9dbe7d16e48c1baab8292d8d6fa046a2630ee4b20290e580055f187e99abba
|
|
BLAKE2b-256 checksum How to use checksums |
40ae4f491e3d915bd4abfb134090eff3ad346b163b976d329759d60cf991f0c7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp311-cp311-manylinux_2_28_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp311-cp311-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 13.1 MB |
| Tags | CPython 3.11 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
dd89643b28baf735710f1cd30fcf1f4598fb044890877a284cb3c053c82f7c82
|
|
BLAKE2b-256 checksum How to use checksums |
42fad3480e4cec3128c71032abf3a2466d1dcd934cbb9f43372e93dc5faf7908
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp311-cp311-manylinux_2_28_aarch64.whl
| Download URL | mqt_qusat-1.2.0-cp311-cp311-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.11 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
3d5239bf9681509a8648a087ee195a9720d3c6c254b25aaa7174a7304b2f68f4
|
|
BLAKE2b-256 checksum How to use checksums |
71a2a88d6265cb12ca3bc33d524c703ef8de1a00bb8329f75879c14e5c38e53a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp311-cp311-macosx_11_0_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp311-cp311-macosx_11_0_x86_64.whl |
|---|---|
| Size | 10.2 MB |
| Tags | CPython 3.11 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
8f19eaf3c5b1d9d63e84ee0c9475bd07c9a6b50e98fdac9e46cda8962476d3cd
|
|
BLAKE2b-256 checksum How to use checksums |
a0a575bdd1784ecf03ebd7e244868d5cff2252a49a9d4acd8698678b855534b0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | mqt_qusat-1.2.0-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
0f352f57af36da8969a0f232f4602a50a0cfab07ea7e4331f99a313fdf85cecd
|
|
BLAKE2b-256 checksum How to use checksums |
2f865a92a6faa2e9d452ab1782c5209f089ff961d4a492e4aeb0ae099719513d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp310-cp310-win_amd64.whl
| Download URL | mqt_qusat-1.2.0-cp310-cp310-win_amd64.whl |
|---|---|
| Size | 7.5 MB |
| Tags | CPython 3.10 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
9994cfdf765dfe753364e78120519ce2efd1db2d515540fadbeb5a442d6448af
|
|
BLAKE2b-256 checksum How to use checksums |
80392f3fb9d362e7d912f9fee581d73e6cc7af4d54e7e14a7343537ab221b3cf
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp310-cp310-manylinux_2_28_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp310-cp310-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 13.1 MB |
| Tags | CPython 3.10 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
f1b3dea5811a5ca6466ad51c27f45da64de929fcca7703170a6eb6d61541b1e5
|
|
BLAKE2b-256 checksum How to use checksums |
7fef23e7eba533e545a8fd2e48671569c90d83320634b1696e3c6ef1fd931357
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp310-cp310-manylinux_2_28_aarch64.whl
| Download URL | mqt_qusat-1.2.0-cp310-cp310-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.10 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
e7ee463373d86690c3cd299f7ec977db0b189b3d5486a98764777afaf9041523
|
|
BLAKE2b-256 checksum How to use checksums |
ba8d3a90ff0680c9f19dc6e5fcbe09b187c0f6e623b2f4f6d01cd7de233a556b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp310-cp310-macosx_11_0_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp310-cp310-macosx_11_0_x86_64.whl |
|---|---|
| Size | 10.2 MB |
| Tags | CPython 3.10 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
a0caaee22e34d7968516360f4d8af28b57147af72fd765973ccd69fc3814d005
|
|
BLAKE2b-256 checksum How to use checksums |
eff194aefbca0eae3d9db6d264531ec474311e3f89575af890979c03fd85f5bc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp310-cp310-macosx_11_0_arm64.whl
| Download URL | mqt_qusat-1.2.0-cp310-cp310-macosx_11_0_arm64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.10 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
3715122e87ec8e3e9c910729eda96e67c81bf87fcc33b6f2a9e2ed42df4911c2
|
|
BLAKE2b-256 checksum How to use checksums |
322e6c16013551d9ea488014065bed3801c990782de934085f76e9e9beab8707
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp39-cp39-win_amd64.whl
| Download URL | mqt_qusat-1.2.0-cp39-cp39-win_amd64.whl |
|---|---|
| Size | 7.5 MB |
| Tags | CPython 3.9 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
a3b37a63dba56f755a829d16bbb14f1a818d0b09a4a474c795c2f4920585bf6c
|
|
BLAKE2b-256 checksum How to use checksums |
16e7a1aa1c507477f11b1b8a615fed37eb7a4479fda67ff9df62802f057ca942
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp39-cp39-manylinux_2_28_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp39-cp39-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 13.1 MB |
| Tags | CPython 3.9 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
d7669994f3137028c6b465229e64a513bce0982d6cb40d1a740d2bd65ca18b45
|
|
BLAKE2b-256 checksum How to use checksums |
8a729852d43d1df021f2d46ec384bf8f6597554c6b24c6806a77676fd09b0c13
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp39-cp39-manylinux_2_28_aarch64.whl
| Download URL | mqt_qusat-1.2.0-cp39-cp39-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.9 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
6bbd3e94ec6442176f506d2c0189d6ec0d9993a23c3e2ea4c3d33fa1f7f930a8
|
|
BLAKE2b-256 checksum How to use checksums |
45a4f0f5c71a762a0e6ab94ed9460562148b5199174274951b7fa62169fdaebe
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp39-cp39-macosx_11_0_x86_64.whl
| Download URL | mqt_qusat-1.2.0-cp39-cp39-macosx_11_0_x86_64.whl |
|---|---|
| Size | 10.2 MB |
| Tags | CPython 3.9 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
6f42ffdd6998706cb8a4d4b1b1cf5df296f69c64dfc1f3a806ff9778a4d64d0b
|
|
BLAKE2b-256 checksum How to use checksums |
59167b60a197646b821dedeb2b709a79d5abf2443da5c47b4fda6b40313c6201
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency logRelease files / mqt_qusat-1.2.0-cp39-cp39-macosx_11_0_arm64.whl
| Download URL | mqt_qusat-1.2.0-cp39-cp39-macosx_11_0_arm64.whl |
|---|---|
| Size | 9.0 MB |
| Tags | CPython 3.9 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
ebaf6b769e9fdb58673f703f3e288456ac5882d0a29d624f5c97fbd801dd1eff
|
|
BLAKE2b-256 checksum How to use checksums |
242a0ccd40639c8f077155bae88918d85b17d17ef609e38a883f21c0d338ab56
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.12.9
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Mar 26, 2025.
Transparency log
