代码的阅读流程建议

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的前若干行头文件需要了解一下，可以进一步理清调用顺序。
仅供参考，希望对你所有帮助。