摘要： Kissat_MAB_prop是2023年SAT竞赛最新最优的求解器，其编译有自己的特点。 与2023年之前的版本编译略有不同，需要按下面3个步骤来进行。 1.应为加载了bliss,所以第一步先在bliss文件夹路径下make，得到bliss.exe; 2.回退到sources路径下： （1） ma 阅读全文

摘要： 1. 目前编译时显示：Did not find '7z' executable for testing compression. 解决：安装以下7z解压软件在我的运行环境中 module load apps/p7zip/9.20.1执行这个命令就可以使用7z了 2. #加载发生冲突时需要卸载一些模块 阅读全文