3 results found Sort:
MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
Created
2020-02-11
625 commits to main branch, last one 3 days ago
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
Created
2020-01-02
847 commits to main branch, last one 3 days ago
DDO a generic and efficient framework for MDD-based optimization.
Created
2020-02-21
444 commits to master branch, last one 4 months ago