MQT QuSAT - A Tool for Utilizing SAT in Quantum Computing

MQT QuSAT is a tool for utilizing satisfiablity testing (SAT) techniques in quantum computing. It is developed as part of the Munich Quantum Toolkit (MQT).

We recommend you to start with the installation instructions. Then proceed to read the quickstart section below. If you are interested in the theory behind MQT QuSAT, 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 MQT QuSAT, please let us know on our support page.

Quickstart

The results from [1] 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 [1] is available in /results directory.

Contributors and Supporters

The Munich Quantum Toolkit (MQT) is developed by the Chair for Design Automation at the Technical University of Munich and supported by the Munich Quantum Software Company (MQSC). Among others, it is part of the Munich Quantum Software Stack (MQSS) ecosystem, which is being developed as part of the Munich Quantum Valley (MQV) initiative.

MQT Banner
MQT Banner

Thank you to all the contributors who have helped make MQT QuSAT a reality!

The MQT will remain free, open-source, and permissively licensed—now and in the future. We are firmly committed to keeping it open and actively maintained for the quantum computing community.

To support this endeavor, please consider: