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了。
标签：make,prop,编译,MAB,bliss,Kissat,7z From： https://www.cnblogs.com/yuweng1689/p/17926376.html