3 results found Sort:

cda-tum
mqt-ddsim cda-tum
30
143
mit
7
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
jku mqt tum python quantum quantum-circuits decision-diagrams quantum-computing quantum-circuit-simulator
Created 2020-02-11
724 commits to main branch, last one 10 days ago
cda-tum
mqt-qcec cda-tum
21
96
mit
6
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
jku mqt tum cpp17 python zx-calculus verification quantum-circuits decision-diagrams quantum-computing equivalence-checker
Created 2020-01-02
962 commits to main branch, last one 5 days ago
cda-tum
mqt-core cda-tum
31
63
mit
6
MQT Core - The Backbone of the Munich Quantum Toolkit
mqt tum quantum-computing quantum-intermediate-representation
Created 2020-01-02
2,392 commits to main branch, last one 22 hours ago