包含以下数据成员的列传： 1.solver->clause2.    数据成员solver->clause是一个文字序列，以一个工作栈的方式管理一部分文字；主要包括在以下文件中：internal.hinternal.c 主要的操作包括： 1. RELEASE_STACK(solver->clause); EMPTY_STACK(solver->cl