Welcome to MQT QUBOMaker’s documentation!

MQT QUBOMaker is a framework for creating QUBO formulations for diverse optimization problems. These formulations can be used with a wide range of quantum algorithms to find approximate solutions to the problems. It is developed by the Chair for Design Automation at the Technical University of Munich as part of the Munich Quantum Toolkit (MQT).

The framework is designed to be user-friendly and to provide a high-level interface for creating QUBO formulations, not requiring any background knowledge in quantum computing or QUBO problems to solve domain-specific problems. It is also designed to be extensible, so that new optimization problems can be added to the framework with relative ease.

Currently, MQT QUBOMaker supports the following optimization problem types:

In addition to a semantic selection of problem constraints, MQT QUBOMaker also provides a graphical user interface for the Pathfinding submodule, which allows users to interactively define pathfinding problems to be passed to the framework.

MQT QUBOMaker supports several encoding schemes, allowing end users to easily compare and evaluate different encodings without the need for manual rewriting of the problems.

If you are interested in the theory behind MQT QUBOMaker, have a look at the publications in the references list.