MQT QCEC - A tool for Quantum Circuit Equivalence Checking
MQT QMAP - A tool for Quantum Circuit Mapping written in C++
MQT Core - The Backbone of the Munich Quantum Toolkit
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification.
Set up a specific version of the Z3 theorem prover