MQT DDVis

An installation-free web-tool that visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification 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.

The tool is hosted online at https://www.cda.cit.tum.de/app/ddvis/.

MQT DDVis allows users to interactively learn how decision diagrams can be used in quantum computing, e.g., to

• compactly represent quantum states and efficiently simulate quantum circuits,
• compactly represent the functionality of quantum circuits,
• verify the equivalence of two circuits in an efficient fashion.