1 result found Sort:

cda-tum
mqt-qcec cda-tum
22
96
mit
5
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
1,074 commits to main branch, last one 8 days ago