The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing

Quantum computers are becoming a reality and numerous quantum computingapplications with a near-term perspective (e.g., for finance, chemistry,machine learning, and optimization) and with a long-term perspective (e.g., forcryptography or unstructured search) are currently being investigated. However,designing and realizing potential applications for these devices in a scalablefashion requires automated, efficient, and user-friendly software tools thatcater to the needs of end users, engineers, and physicists at every level ofthe entire quantum software stack. Many of the problems to be tackled in thatregard are similar to design problems from the classical realm for whichsophisticated design automation tools have been developed in the previousdecades. The Munich Quantum Toolkit (MQT) is a collection of software tools forquantum computing developed by the Chair for Design Automation at the TechnicalUniversity of Munich which explicitly utilizes this design automationexpertise. Our overarching objective is to provide solutions for design tasksacross the entire quantum software stack. This entails high-level support forend users in realizing their applications, efficient methods for the classicalsimulation, compilation, and verification of quantum circuits, tools forquantum error correction, support for physical design, and more. These methodsare supported by corresponding data structures (such as decision diagrams) andcore methods (such as SAT encodings/solvers). All of the developed tools areavailable as open-source implementations and are hosted onhttps://github.com/cda-tum.