共 50 条
- [32] SMT-RAT: An Open Source C plus plus Toolbox for Strategic and Parallel SMT Solving [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, 2015, 9340 : 360 - 368
- [33] Evolution of Code Clone Ratios throughout Development History of Open-Source C and C plus plus Programs [J]. 2017 IEEE 11TH INTERNATIONAL WORKSHOP ON SOFTWARE CLONES (IWSC), 2017, : 47 - 53
- [36] Quandary: An open-source C plus plus package for high-performance optimal control of open quantum systems [J]. PROCEEDINGS OF SECOND INTERNATIONAL WORKSHOP ON QUANTUM COMPUTING SOFTWARE (QCS 2021), 2021, : 88 - 98
- [40] RealTimeTransport: An open-source C plus plus library for quantum transport simulations in the strong coupling regime [J]. JOURNAL OF CHEMICAL PHYSICS, 2024, 161 (06):