Kissat_MAB_prop是2023年SAT竞赛最新最优的求解器,其编译有自己的特点。

与2023年之前的版本编译略有不同,需要按下面3个步骤来进行。

 

1.应为加载了bliss,所以第一步先在bliss文件夹路径下make,得到bliss.exe;

2.回退到sources路径下:

(1) make clean

 (2) ./configure

 (3) make test

 需要相关可执行程序模块,如需要安装:7z解压软件。在PC机上安装7z后即可正常编译。

在曙光智算平台上遇到上述情况,经咨询平台技术人员,需要先执行:module load apps/p7zip/9.20.1 。执行这个命令后,就可以使用7z了。

posted on 2023-12-25 16:35  海阔凭鱼跃越  阅读(21)  评论(0编辑  收藏  举报