Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with equivalence-checker
A curated list of projects in awesome lists tagged with equivalence-checker .
https://github.com/cda-tum/mqt-qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
cpp17 decision-diagrams equivalence-checker jku mqt python quantum-circuits quantum-computing tum verification zx-calculus
Last synced: 29 Sep 2024