机构名称：
¥ 1.0
量子计算机正在成为现实，目前正在研究众多具有短期前景（例如，用于金融、化学、机器学习和优化）和长期前景（例如，用于加密或非结构化搜索）的量子计算应用。然而，以可扩展的方式设计和实现这些设备的潜在应用需要自动化、高效且用户友好的软件工具，以满足整个量子软件堆栈各个级别的最终用户、工程师和物理学家的需求。在这方面要解决的许多问题类似于经典领域的设计问题，过去几十年来已经为这些领域开发了复杂的设计自动化工具。慕尼黑量子工具包 (MQT) 是由慕尼黑工业大学设计自动化系开发的量子计算软件工具集合，它明确利用了这种设计自动化专业知识。我们的总体目标是为整个量子软件堆栈的设计任务提供解决方案。这需要为最终用户实现其应用程序提供高水平支持、用于经典模拟、编译和验证量子电路的有效方法、用于量子纠错的工具、对物理设计的支持等。这些方法由相应的数据结构（例如决策图）和核心方法（例如 SAT 编码/求解器）支持。所有开发的工具均可作为开源实现使用，并托管在 github.com/cda-tum 上。
MQT 手册
主要关键词
相关文件推荐
