Top 3 equivalence-checker open source projects

Scalable Validator for Binary Lifters

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

MQT QCEC - A tool for Quantum Circuit Equivalence Checking