{"categories":[{"label":"Electronic Design Automation (EDA)","url":"https://skillfed.io/packages/category/scientific-engineering-electronic-design-automation-eda"}],"enrichment":{"capability":"Verifies whether two quantum circuits are functionally equivalent using decision-diagram construction, simulation-based falsification, ZX-calculus rewriting, and automated checking flows to prove equivalence or find counterexamples.","skillfed_tags":["quantum-computing","verification","design-automation"],"use_cases":["Validate that a quantum circuit compiler or transpiler produced a functionally equivalent circuit after optimization or layout mapping.","Verify parameterized variational quantum algorithms by proving equivalence with symbolic parameters across different implementations.","Compare measured output distributions from two circuits to check partial equivalence when ancillary qubits or garbage qubits are present.","Test quantum circuit transformations and rewrites during development to ensure correctness before deployment.","Benchmark different circuit implementations to confirm they compute the same function before performance analysis."],"what_it_does":"MQT QCEC is a quantum circuit equivalence checker built on the Munich Quantum Toolkit, designed to determine whether two quantum circuits produce the same computational result. It combines multiple verification strategies\u2014decision-diagram construction, alternating decision-diagram approaches, simulation-based falsification, and ZX-calculus rewriting\u2014coordinated in an automated flow that either proves equivalence or quickly identifies counterexamples. The tool accepts circuits as Qiskit QuantumCircuit objects or OpenQASM files and provides a Python-first API with a single-call `verify()` function.\n\nBeyond basic equivalence checking, it handles compilation flow verification (including layout permutations and measurements), parameterized circuits with symbolic parameters, and partial equivalence for comparing measured output distributions while accounting for ancillary and garbage qubits. The core is implemented in C++20 with decision-diagram engines and a ZX backend, distributed as prebuilt wheels for Linux, macOS, and Windows. It depends on mqt.core, typing_extensions, and numpy.","worth_installing":"Yes. MQT QCEC is a specialized, actively maintained tool for a well-defined problem in quantum computing. It has no known vulnerabilities, permissive MIT licensing, prebuilt wheels that minimize install friction, and supports current Python versions (3.10\u20133.14). Install it if you need to verify quantum circuit equivalence, validate compilation flows, or test parameterized quantum algorithms."},"id":"mqt-qcec","links":{"html":"https://skillfed.io/packages/mqt-qcec","md":"https://skillfed.io/packages/mqt-qcec.md","pypi":"https://pypi.org/project/mqt-qcec/"},"maintenance":{"status":"active"},"meta":{"latest_release":"2026-08-02","license_spdx":"MIT","license_treatment":"permissive","name":"mqt.qcec","python_support":"supports_current","summary":"A tool for Quantum Circuit Equivalence Checking"},"popularity":{"monthly_downloads":127957,"position":11725,"tier":"top_15000"},"security":{"n_vulnerabilities":0},"version":"3.8.0"}