Pinned Loading

1. MQT Core - The Backbone of the Munich Quantum Toolkit

   C++ 114 54

2. MQT QCEC - A tool for Quantum Circuit Equivalence Checking

   C++ 109 24

3. MQT QMAP - A tool for Quantum Circuit Mapping written in C++

   C++ 131 35

4. MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++

   C++ 158 38

5. 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.

   JavaScript 27 2

6. Set up a specific version of the Z3 theorem prover

   TypeScript 14 3