一、代码阅读顺序
kissat.h
main.c
application.h application.c
internal.h------ kissat类型定义
internal.c------kissat_init (void)函数
search
walker rephase.c inline.h
二、输出代码--可以加处理符的文件
application.c L857 L867
report.c L33 kissat_report函数体可以注销
parse.c L273之后可以增加以下两句
kissat_message (solver,
"variables: {%d} ", variables);kissat_message (solver,
"clauses: {%" PRIu64 "}", clauses);
resources.c L86 函数kissat_print_resources (kissat * solver)中
printf ("c process-time: %30s {%18.2f} seconds\n", FORMAT_TIME (t), t);
三、版权信息等
见build.c
