@misc{indiciaed925578da32c, title = {QSolver: A Quantum Constraint Solver}, author = {Shangzhou Xia and Haitao Fu and Jianjun Zhao}, year = {2026}, url = {https://arxiv.org/abs/2602.20171}, note = {Source identifier: 2602.20171} }