随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
12 2023 档案
Kissat_MAB_prop系列程序的编译步骤
摘要：Kissat_MAB_prop是2023年SAT竞赛最新最优的求解器，其编译有自己的特点。 与2023年之前的版本编译略有不同，需要按下面3个步骤来进行。 1.应为加载了bliss,所以第一步先在bliss文件夹路径下make，得到bliss.exe; 2.回退到sources路径下： （1） ma
阅读全文
本人曙光环境编译问题记录-2023-12-25
摘要：1. 目前编译时显示：Did not find '7z' executable for testing compression. 解决：安装以下7z解压软件在我的运行环境中 module load apps/p7zip/9.20.1执行这个命令就可以使用7z了 2. #加载发生冲突时需要卸载一些模块
阅读全文
