3 results found Sort:

cda-tum
mqt-ddsim cda-tum
33
145
mit
6
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
798 commits to main branch, last one 3 days ago
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,071 commits to main branch, last one 3 days ago
xgillard
ddo xgillard
7
61
mit
4
DDO a generic and efficient framework for MDD-based optimization.
ddo decision-diagrams operations-research discrete-optimization constraint-programming constraint-optimisation-problem constraint-satisfaction-problem
Created 2020-02-21
447 commits to master branch, last one 3 months ago