Repository

https://github.com/cda-tum/mqt-qcec.git

Project Slug

qcec

Last Built

16 hours, 43 minutes ago passed

Maintainers

Home Page

https://github.com/cda-tum/mqt-qcec.git

Badge

Tags

decision-diagrams, design-automation, equivalence-checking, quantum-computing, verification, zx

Short URLs

qcec.readthedocs.io
qcec.rtfd.io

Default Version

latest

'latest' Version

main