摘要： 涉及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 阅读全文

摘要： 传播函数分布在propsearch.h、propsearch.c和proplit.c文件之中 propsearch.h #ifndef _propsearch_h_INCLUDED #define _propsearch_h_INCLUDED struct kissat; struct clause 阅读全文

摘要： 指针solver对应类型kissat在internal.h中定义 下面从使用的角度来了解solver个主要数据成员 assign.c中几个函数 static inline void kissat_assign (kissat * solver, #ifdef INLINE_ASSIGN value 阅读全文