equivalence-checker

Here are 3 public repositories matching this topic...

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

python tum verification quantum-computing cpp17 decision-diagrams quantum-circuits mqt equivalence-checker jku zx-calculus

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

Symbolic execution of LLVM IR

Add a description, image, and links to the equivalence-checker topic page so that developers can more easily learn about it.

To associate your repository with the equivalence-checker topic, visit your repo's landing page and select "manage topics."