| Name | mqt.qusat JSON |
| Version |
1.1.1
JSON |
| download |
| home_page | |
| Summary | MQT QuSAT - A Tool for Utilizing SAT in Quantum Computing |
| upload_time | 2024-01-02 10:16:51 |
| maintainer | |
| docs_url | None |
| author | |
| requires_python | >=3.8 |
| license | MIT License Copyright (c) 2023 Chair for Design Automation, Technical University of Munich Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
| keywords |
mqt
quantum-computing
design-automation
satisfiability
|
| VCS |
 |
| bugtrack_url |
|
| requirements |
No requirements were recorded.
|
| Travis-CI |
No Travis.
|
| coveralls test coverage |
No coveralls.
|
[](https://pypi.org/project/mqt.qusat/)
[](https://opensource.org/licenses/MIT)
[](https://github.com/cda-tum/mqt-qusat/actions/workflows/ci.yml)
[](https://github.com/cda-tum/mqt-qusat/actions/workflows/cd.yml)
[](https://codecov.io/gh/cda-tum/mqt-qusat)
> [!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_](https://mqt.readthedocs.io) (_MQT_) by the [Chair for Design Automation](https://www.cda.cit.tum.de/) at the [Technical University of Munich](https://www.tum.de/) based on methods proposed in:
- [[1]](https://arxiv.org/abs/2203.00698) L. Berent, L. Burgholzer, and R. Wille. Towards a Satisfiability Encoding for Quantum Circuits. 2022.
QuSAT builds upon [MQT Core](https://github.com/cda-tum/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](mailto:quantum.cda@xcit.tum.de) or by creating an issue on [GitHub](https://github.com/cda-tum/mqt-qusat/issues).
## 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](https://github.com/actions/virtual-environments). 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](https://github.com/Z3Prover/z3) 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-solver` and then append the corresponding path to the library path (`LD_LIBRARY_PATH` under Linux, `DYLD_LIBRARY_PATH` under macOS), e.g. via
```bash
export 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
```shell
git clone https://github.com/cda-tum/mqt-qusat --recursive
```
Note the `--recursive` flag. It is required to also clone all the required submodules.
If you happen to forget passing the flag on your initial clone, you can initialize all the submodules by executing `git submodule update --init --recursive` in the main project directory.
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
```shell
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
```shell
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}
}
```
Raw data
{
"_id": null,
"home_page": "",
"name": "mqt.qusat",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": "",
"keywords": "MQT quantum-computing design-automation satisfiability",
"author": "",
"author_email": "Lucas Berent <lucas.berent@tum.de>, Lukas Burgholzer <lukas.burgholzer@tum.de>",
"download_url": "",
"platform": null,
"description": "[](https://pypi.org/project/mqt.qusat/)\n\n[](https://opensource.org/licenses/MIT)\n[](https://github.com/cda-tum/mqt-qusat/actions/workflows/ci.yml)\n[](https://github.com/cda-tum/mqt-qusat/actions/workflows/cd.yml)\n[](https://codecov.io/gh/cda-tum/mqt-qusat)\n\n> [!NOTE]\n> 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.\n\n# MQT QuSAT - A Tool for Utilizing SAT in Quantum Computing\n\nA tool for utilizing satisfiablity testing (SAT) techniques in quantum computing developed as part of the [_Munich Quantum Toolkit_](https://mqt.readthedocs.io) (_MQT_) by the [Chair for Design Automation](https://www.cda.cit.tum.de/) at the [Technical University of Munich](https://www.tum.de/) based on methods proposed in:\n\n- [[1]](https://arxiv.org/abs/2203.00698) L. Berent, L. Burgholzer, and R. Wille. Towards a Satisfiability Encoding for Quantum Circuits. 2022.\n\nQuSAT builds upon [MQT Core](https://github.com/cda-tum/mqt-core), which forms the backbone of the MQT.\n\nThe project can be used to\n\n- Encode Clifford circuits in SAT\n- Check the equivalence of Clifford circuits using SAT\n\nIf you have any questions, feel free to contact us via [quantum.cda@xcit.tum.de](mailto:quantum.cda@xcit.tum.de) or by creating an issue on [GitHub](https://github.com/cda-tum/mqt-qusat/issues).\n\n## Towards a Satisfiability Encoding for Quantum Circuits\n\nThe 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.\nIn order to replicate the full range of results, the `test/test_satencoder.cpp` needs to be modified before building the project.\nThe corresponding lines to be changed are marked with a `// Paper Evaluation:` comment.\n\nRunning the executable, produces several `.json` files containing the experimental data. The python script `/results/visualizer.py` can be used\nto plot the respective data.\n\nNote that, as we use a randomized procedure to generate input data, the exact experimental data will slightly vary every time the benchmarks are run.\nThe experimental data used in the paper is available in `/results` directory.\n\n## System Requirements\n\nBuilding (and running) is continuously tested under Linux, MacOS, and Windows using the [latest available system versions for GitHub Actions](https://github.com/actions/virtual-environments). However, the implementation should be compatible\nwith any current C++ compiler supporting C++17 and a minimum CMake version of 3.19.\n\nThe SMT Solver [Z3 >= 4.8.3](https://github.com/Z3Prover/z3) 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:\n\n- Under Ubuntu 20.04 and newer: `sudo apt-get install libz3-dev`\n- Under macOS: `brew install z3`\n- Alternatively: `pip install z3-solver` and then append the corresponding path to the library path (`LD_LIBRARY_PATH` under Linux, `DYLD_LIBRARY_PATH` under macOS), e.g. via\n ```bash\n export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$(python -c \"import z3; print(z3.__path__[0]+'/lib')\")\n ```\n- Download pre-built binaries from https://github.com/Z3Prover/z3/releases and copy the files to the respective system directories\n- Build Z3 from source and install it to the system\n\n## Configuration and Build\n\nTo start off, clone this repository using\n\n```shell\ngit clone https://github.com/cda-tum/mqt-qusat --recursive\n```\n\nNote the `--recursive` flag. It is required to also clone all the required submodules.\nIf you happen to forget passing the flag on your initial clone, you can initialize all the submodules by executing `git submodule update --init --recursive` in the main project directory.\n\nThe 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\n\n```shell\ncmake -S . -B build -DBUILD_MQT_QUSAT_TESTS=ON -DZ3_ROOT=/path/to/z3/\n```\n\nThis 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.\n\nAfter configuring with CMake, the library can be built by calling\n\n```shell\ncmake --build build\n```\n\nThis tries to build the project in the `build` directory (passed via `--build`).\nSome 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.\n\n# Reference\n\nIf you use our tool for your research, we would appreciate if you refer to it by citing the appropriate publication:\n\n```\n@inproceedings{berent2022sat,\n title={Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond},\n author={Lucas Berent and Lukas Burgholzer and Robert Wille},\n year={2022},\n booktitle={International Conference on Theory and Applications of Satisfiability Testing}\n}\n```\n",
"bugtrack_url": null,
"license": "MIT License Copyright (c) 2023 Chair for Design Automation, Technical University of Munich Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the \"Software\"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.",
"summary": "MQT QuSAT - A Tool for Utilizing SAT in Quantum Computing",
"version": "1.1.1",
"project_urls": {
"Discussions": "https://github.com/cda-tum/mqt-qusat/discussions",
"Homepage": "https://github.com/cda-tum/mqt-qusat",
"Issues": "https://github.com/cda-tum/mqt-qusat/issues",
"Research": "https://www.cda.cit.tum.de/research/quantum"
},
"split_keywords": [
"mqt",
"quantum-computing",
"design-automation",
"satisfiability"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "172e6dcc0f564955f845407839d304d563abf5f1580ca1c64a077f425966ff4f",
"md5": "361bd8ead5062f5d5b4d3242c516d406",
"sha256": "e1649412d124ac08dc4dd8da5101b7ed685332e4bfbb329d03d332abd24c1595"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp310-cp310-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "361bd8ead5062f5d5b4d3242c516d406",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": ">=3.8",
"size": 6892376,
"upload_time": "2024-01-02T10:16:51",
"upload_time_iso_8601": "2024-01-02T10:16:51.625839Z",
"url": "https://files.pythonhosted.org/packages/17/2e/6dcc0f564955f845407839d304d563abf5f1580ca1c64a077f425966ff4f/mqt_qusat-1.1.1-cp310-cp310-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "14abbf190c78b0d89f6f39333b87849523dfc47640a5ca86b6318543d0fa6782",
"md5": "7d97c26110fae9c3ed53f943f482dd15",
"sha256": "a99d48710d7190bff900630ebf906c0bfd5d3edaa91d143de5daf4c56de5ddcd"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"has_sig": false,
"md5_digest": "7d97c26110fae9c3ed53f943f482dd15",
"packagetype": "bdist_wheel",
"python_version": "cp310",
"requires_python": ">=3.8",
"size": 8549582,
"upload_time": "2024-01-02T10:16:54",
"upload_time_iso_8601": "2024-01-02T10:16:54.265455Z",
"url": "https://files.pythonhosted.org/packages/14/ab/bf190c78b0d89f6f39333b87849523dfc47640a5ca86b6318543d0fa6782/mqt_qusat-1.1.1-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9b138d951f5803472b54b483d556d3eb59f20cc4288951b727550eb7cc35a318",
"md5": "b1c32e72eeef606d6109c5eaf3378d15",
"sha256": "ae6e57d6ab7b8b6c848dc7f9e3a692c4adf806876c39025b0d5b1b8b4a5072c6"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp311-cp311-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "b1c32e72eeef606d6109c5eaf3378d15",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": ">=3.8",
"size": 6893572,
"upload_time": "2024-01-02T10:16:56",
"upload_time_iso_8601": "2024-01-02T10:16:56.938180Z",
"url": "https://files.pythonhosted.org/packages/9b/13/8d951f5803472b54b483d556d3eb59f20cc4288951b727550eb7cc35a318/mqt_qusat-1.1.1-cp311-cp311-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "7defc12e509cdff5fb9f9e14d3122edf9af8b48619131cf5c140c1537b42b3eb",
"md5": "d05845a8cbb38515f6f4aeb9f2325a48",
"sha256": "0a85d04fdd41d42f11705817693a5541c232d86479bfdf61faeb6a1461165c84"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"has_sig": false,
"md5_digest": "d05845a8cbb38515f6f4aeb9f2325a48",
"packagetype": "bdist_wheel",
"python_version": "cp311",
"requires_python": ">=3.8",
"size": 8551028,
"upload_time": "2024-01-02T10:16:59",
"upload_time_iso_8601": "2024-01-02T10:16:59.788318Z",
"url": "https://files.pythonhosted.org/packages/7d/ef/c12e509cdff5fb9f9e14d3122edf9af8b48619131cf5c140c1537b42b3eb/mqt_qusat-1.1.1-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "8c7bda2838cf3077bbd6da6cd0e134eb4d425757199e6718ae7cf68dae50d85e",
"md5": "3aef17809a25dad035016e6aa7d5a522",
"sha256": "1bd97a91065332c4d234c6032203997d34b9222673a704493c0e15afe7e2fb6e"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp312-abi3-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "3aef17809a25dad035016e6aa7d5a522",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": ">=3.8",
"size": 6893268,
"upload_time": "2024-01-02T10:17:01",
"upload_time_iso_8601": "2024-01-02T10:17:01.997876Z",
"url": "https://files.pythonhosted.org/packages/8c/7b/da2838cf3077bbd6da6cd0e134eb4d425757199e6718ae7cf68dae50d85e/mqt_qusat-1.1.1-cp312-abi3-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "fc0fb871ae2aac8456a4fa1b4a19fbb7f4864ee97fd17b3ee5e61f1368d8651e",
"md5": "aa9de9ca17a2b5367fc88a068d5841da",
"sha256": "64cb6a4052bb2a38448a59599145a6febe79cd5ff92d102a781e433d53edb911"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"has_sig": false,
"md5_digest": "aa9de9ca17a2b5367fc88a068d5841da",
"packagetype": "bdist_wheel",
"python_version": "cp312",
"requires_python": ">=3.8",
"size": 8550340,
"upload_time": "2024-01-02T10:17:04",
"upload_time_iso_8601": "2024-01-02T10:17:04.261765Z",
"url": "https://files.pythonhosted.org/packages/fc/0f/b871ae2aac8456a4fa1b4a19fbb7f4864ee97fd17b3ee5e61f1368d8651e/mqt_qusat-1.1.1-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "546249c5e9db96df61122fc43aae0d797817885e77a90230f13072f5f4dc1749",
"md5": "e8944eb3c0498ef28cd16fcc2d06c41f",
"sha256": "e49319505a79a9925dce3716a5314493b9bd486988af40c37fbc1d6f44110fc4"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp38-cp38-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "e8944eb3c0498ef28cd16fcc2d06c41f",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": ">=3.8",
"size": 6892286,
"upload_time": "2024-01-02T10:17:07",
"upload_time_iso_8601": "2024-01-02T10:17:07.401989Z",
"url": "https://files.pythonhosted.org/packages/54/62/49c5e9db96df61122fc43aae0d797817885e77a90230f13072f5f4dc1749/mqt_qusat-1.1.1-cp38-cp38-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "0d356ccf37df95bf5906344177f1013220fa330d3a87efe3b85e9ebada68f2ed",
"md5": "4195c396ebf8a16057d3a98a65090e61",
"sha256": "9afd7bf0319b9f775f1cbe9dcee7dccb466dcbcdc2cb82010faee08d34f75ae8"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"has_sig": false,
"md5_digest": "4195c396ebf8a16057d3a98a65090e61",
"packagetype": "bdist_wheel",
"python_version": "cp38",
"requires_python": ">=3.8",
"size": 8549462,
"upload_time": "2024-01-02T10:17:11",
"upload_time_iso_8601": "2024-01-02T10:17:11.087330Z",
"url": "https://files.pythonhosted.org/packages/0d/35/6ccf37df95bf5906344177f1013220fa330d3a87efe3b85e9ebada68f2ed/mqt_qusat-1.1.1-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "8b497c449f11da208ba067d4b6c3c1b94102886a900eb65fc11282c7bef1fd1b",
"md5": "677299c124cd004949da1f514cd302d8",
"sha256": "404d83555090b794cc7ed3963ceeb9c21806a0c3c6479a97d6c85558ee95f713"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp39-cp39-macosx_11_0_arm64.whl",
"has_sig": false,
"md5_digest": "677299c124cd004949da1f514cd302d8",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.8",
"size": 6892495,
"upload_time": "2024-01-02T10:17:13",
"upload_time_iso_8601": "2024-01-02T10:17:13.233335Z",
"url": "https://files.pythonhosted.org/packages/8b/49/7c449f11da208ba067d4b6c3c1b94102886a900eb65fc11282c7bef1fd1b/mqt_qusat-1.1.1-cp39-cp39-macosx_11_0_arm64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "bb33b6694458617213b0bd97ce33be766e1a13da8642af1e444da48877e1f22b",
"md5": "2b42519f2e0c16ceb966b77f2777ba16",
"sha256": "0b59c596f0fa30133f41fff60bb0444b90715e7a20d7f8540c5322c85c30694b"
},
"downloads": -1,
"filename": "mqt_qusat-1.1.1-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"has_sig": false,
"md5_digest": "2b42519f2e0c16ceb966b77f2777ba16",
"packagetype": "bdist_wheel",
"python_version": "cp39",
"requires_python": ">=3.8",
"size": 8549571,
"upload_time": "2024-01-02T10:17:14",
"upload_time_iso_8601": "2024-01-02T10:17:14.878174Z",
"url": "https://files.pythonhosted.org/packages/bb/33/b6694458617213b0bd97ce33be766e1a13da8642af1e444da48877e1f22b/mqt_qusat-1.1.1-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-01-02 10:16:51",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "cda-tum",
"github_project": "mqt-qusat",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"lcname": "mqt.qusat"
}
