2020年5月12日
代码解读——给定已知赋值文字序列交由求解函数solveLimited传播并处理冲突
摘要： 在主函数main.cc中 在化简求解代码段之后： vec<Lit> dummy; lbool ret = S.solveLimited(dummy); 在Solver.h文件中 inline lbool Solver::solveLimited (const vec<Lit>& assumps){ 阅读全文
posted @ 2020-05-12 11:08 海阔凭鱼跃越 阅读(190) 评论(0) 推荐(1) 编辑