equivalence-checker
MQT QCEC - A Tool for Quantum Circuit Equivalence Checking
Testing boolean expressions for equivalence
Parallel Quantum Simulation and Automated Reasoning on GPUs
Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts
