问题详情
中国科学院软件研究所2019年12月20日发布了国内首个较为完整的量子程序设计平台,已上线的功能主要包括()等部分,有望为国内自主研制的量子计算机提供更多软件配套。
A、编译器
B、模拟器
C、模型检测工具
D、定理证明器