2023年12月25日
摘要: Kissat_MAB_prop是2023年SAT竞赛最新最优的求解器,其编译有自己的特点。 与2023年之前的版本编译略有不同,需要按下面3个步骤来进行。 1.应为加载了bliss,所以第一步先在bliss文件夹路径下make,得到bliss.exe; 2.回退到sources路径下: (1) ma 阅读全文
posted @ 2023-12-25 16:35 海阔凭鱼跃越 阅读(21) 评论(0) 推荐(0) 编辑
摘要: 1. 目前编译时显示:Did not find '7z' executable for testing compression. 解决:安装以下7z解压软件在我的运行环境中 module load apps/p7zip/9.20.1执行这个命令就可以使用7z了 2. #加载发生冲突时需要卸载一些模块 阅读全文
posted @ 2023-12-25 16:03 海阔凭鱼跃越 阅读(65) 评论(0) 推荐(0) 编辑