It is based on calculating the expected value and the variance of the top-event probability by means of Binary Decision Diagrams (BDD). This method allows an accurate computation of both the expected ...

DDSIM bundled with the provider and backends for Qiskit is available via PyPI for Linux, macOS, and Windows and supports Python 3.9 to 3.13. The implementation is compatible with any C++17 compiler ...

QCEC is available via PyPI for Linux, macOS, and Windows and supports Python 3.9 to 3.13. The implementation is compatible ... Wille, "Advanced Equivalence Checking for Quantum Circuits," Transactions ...