Kissat_MAB_prop

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