equivalence-checker topic

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

cda-tum

Scalable Validator for Binary Lifters

sdasgup3

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

bchurchill