2022-9-19回复消息提问的作答。


 

互相交流。我三月份前也在学习kissat,好一阵没看其代码,刚才又看了一下,凭回忆记录如下,算是简要分享以下的我早前的阅读流程。
(1)从application.c文件最后的一个如下函数看起。该函数实际是真正的主函数。
int kissat_application (kissat * solver, int argc, char **argv);
(2)接着查询kissat.h了解相应的主要函数;如kissat_solve函数声明等;
(3)回过头从internal.h中了解主要的结构体kissat声明(其它主要的结构体声明都在这);
从internal.c中研读主要函数 。这里包含诸如int kissat_solve (kissat * solver)完整实现代码。
(4) 最后看search.h与search.c。其中int kissat_search (kissat * solver)函数比较清晰地体现CDCL框架各模块的调用。
(5) 具体的CDCL技术模块,可以从技术模块对应名的.h及.c文件中去找。
(6) main函数所在文件main.c的前若干行头文件需要了解一下,可以进一步理清调用顺序。
仅供参考,希望对你所有帮助。

 

posted on 2022-09-19 01:22  海阔凭鱼跃越  阅读(213)  评论(0编辑  收藏  举报