CharleshJh's repositories

Language:OpenQASMStargazers:1Issues:0Issues:0

LSV-PA

Logic Synthesis and Verification: Programming Assignments

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

qcec

QCEC - A JKQ tool for Quantum Circuit Equivalence Checking

Language:C++License:MITStargazers:0Issues:0Issues:0