QSolver: A Quantum Constraint Solver

Shangzhou Xia, Haitao Fu, Jianjun Zhao

With the growing interest in quantum programs, ensuring their correctness is a fundamental challenge. Although constraint-solving techniques can overcome some limitations of tradit…