Kissat
Kissat_MAB_prop系列程序的编译步骤
Kissat_MAB_prop是2023年SAT竞赛最新最优的求解器，其编译有自己的特点。 与2023年之前的版本编译略有不同，需要按下面3个步骤来进行。 1.应为加载了bliss,所以第一步先在bliss文件夹路径下make，得到bliss.exe; 2.回退到sources路径下： （1） ma ......
简化版本的kissat--Sat Solver SATCH
Sat Solver SATCH This is the source code of SATCH a SAT solver written from scratch in C. The actual version number can be found in VERSION and change ......
kissat分析01_基本数据结构03_frame_trail
frame.h 1 #define INVALID_TRAIL UINT_MAX 2 3 struct frame 4 { 5 unsigned decision; 6 unsigned trail:LD_MAX_TRAIL; 7 unsigned used:2; 8 bool promote:1; ......
kissat分析02_主要功能函数03_restart
重启涉及的物理量 重启涉及的物理量solver->heuristicsolver->mab solver->statistics.restarts limits *limits = &solver->limits; limits->restart.conflicts 还涉及相关reuse_trail ......
kissat分析02_主要功能函数02_reduce
涉及search.c、reduce.c、collect.c、clause.c等多个文件 //search.c主程序调用功能函数的流程框架 1 int 2 kissat_search (kissat * solver) 3 { 4 start_search (solver); 5 6 int res ......
kissat分析02_主要功能函数01_propagate
传播函数分布在propsearch.h、propsearch.c和proplit.c文件之中 propsearch.h #ifndef _propsearch_h_INCLUDED #define _propsearch_h_INCLUDED struct kissat; struct clause ......