qiskit-jku-provider此模块包含[qiskit](https://www.qiskit.org/)模拟器,其后端是在jku的模拟器中编写的。这个模拟器在经典计算机上模拟量子电路。 ...2024-06-13 已阅读: n次
picosat-cffi一个用于PicoSAT[1]的cffi绑定,一个用C编写的SAT解算器 旨在将整个PicoSAT API暴露在一个中等较低的级别 [1]http://fmv.jku.at/picosat/ ...2024-06-13 已阅读: n次