MQT手册：量子计算设计自动化工具与软件概览
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
AI总结：
本文介绍了慕尼黑工业大学开发的MQT量子计算软件工具集，旨在利用经典设计自动化技术，为量子软件栈各层提供开源、高效的仿真、编译、验证及纠错等解决方案。
摘要：
量子计算机正成为现实，目前研究人员正在探索众多具有近期前景（如金融、化学、机器学习和优化）和长期前景（如密码学或非结构化搜索）的量子计算应用。然而，以可扩展的方式为这些设备设计和实现潜在应用，需要自动化、高效且用户友好的软件工具，以满足整个量子软件栈各个层面的最终用户、工程师和物理学家的需求。在此方面需要解决的许多问题与经典领域的设计问题类似，而在过去几十年中，经典领域已经开发出了成熟的设计自动化工具。Munich Quantum Toolkit（MQT）是由慕尼黑工业大学设计自动化教席开发的量子计算软件工具集合，它明确利用了这种设计自动化专业知识。我们的总体目标是为整个量子软件栈的设计任务提供解决方案。这包括在实现应用时为最终用户提供高级支持，用于量子电路的经典仿真、编译和验证的高效方法，用于量子纠错的工具，对物理设计的支持等。这些方法由相应的数据结构（如决策图）和核心方法（如SAT编码/求解器）提供支持。所有开发的工具均作为开源实现提供，并托管在 https://github.com/cda-tum 上。
英文摘要：
Quantum computers are becoming a reality and numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, and optimization) and with a long-term perspective (e.g., for cryptography or unstructured search) are currently being investigated. However, designing and realizing potential applications for these devices in a scalable fashion requires automated, efficient, and user-friendly software tools that cater to the needs of end users, engineers, and physicists at every level of the entire quantum software stack. Many of the problems to be tackled in that regard are similar to design problems from the classical realm for which sophisticated design automation tools have been developed in the previous decades. The Munich Quantum Toolkit (MQT) is a collection of software tools for quantum computing developed by the Chair for Design Automation at the Technical University of Munich which explicitly utilizes this design automation expertise. Our overarching objective is to provide solutions for design tasks across the entire quantum software stack. This entails high-level support for end users in realizing their applications, efficient methods for the classical simulation, compilation, and verification of quantum circuits, tools for quantum error correction, support for physical design, and more. These methods are supported by corresponding data structures (such as decision diagrams) and core methods (such as SAT encodings/solvers). All of the developed tools are available as open-source implementations and are hosted on https://github.com/cda-tum.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
