2021年1月5日
摘要: 1.分析函数代码解读 1 void Solver::analyze(CRef confl, vec<Lit>& out_learnt, int& out_btlevel, int& out_lbd) 2 { 3 int pathC = 0; //从冲突子句回溯路径上的分叉数 4 Lit p = li 阅读全文
posted @ 2021-01-05 22:06 海阔凭鱼跃越 阅读(191) 评论(0) 推荐(0) 编辑