我们提出了一种通过量子门矩阵缓存和电路分割来加速量子电路模拟的方法，减少重复计算，并使用PyTorch实现。Qandle兼容现有机器学习流程，提供用户友好的API和OpenQASM支持，是一个开源项目，托管在GitHub和PyPI上。

本研究使用 MaxSAT 问题中的 SPB 约束和子句权重技术，提出了一种新的局部搜索算法 SPB-MaxSAT，为 MaxSAT 局部搜索求解器的子句权重方法提供了新的视角和优秀的性能。