Pinned Loading

1. munich-quantum-toolkit/core munich-quantum-toolkit/core Public

   MQT Core - The Backbone of the Munich Quantum Toolkit

   C++ 80 41

2. munich-quantum-toolkit/qcec munich-quantum-toolkit/qcec Public

   MQT QCEC - A tool for Quantum Circuit Equivalence Checking

   C++ 98 23

3. munich-quantum-toolkit/qmap munich-quantum-toolkit/qmap Public

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

   C++ 117 27

4. munich-quantum-toolkit/ddsim munich-quantum-toolkit/ddsim Public

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

   C++ 150 35

5. munich-quantum-toolkit/ddvis munich-quantum-toolkit/ddvis Public

   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 26 2

6. cda-tum/setup-z3 cda-tum/setup-z3 Public

   Set up a specific version of the Z3 theorem prover

   TypeScript 13 3