QzZq

analyze流程图

摘要：阅读全文

posted @ 2020-10-20 11:11 QzZq 阅读(98) 评论(0) 推荐(0)

pthread_mutex_t pthread_cond_t

摘要： https://blog.csdn.net/guotianqing/article/details/80559865 https://blog.csdn.net/chengonghao/article/details/51779279 阅读全文

posted @ 2020-10-17 20:46 QzZq 阅读(80) 评论(0) 推荐(0)

friend

摘要： http://c.biancheng.net/view/169.html 阅读全文

posted @ 2020-10-17 17:28 QzZq 阅读(64) 评论(0) 推荐(0)

virtual

摘要： https://blog.csdn.net/xbb123456rt/article/details/81986691 阅读全文

posted @ 2020-10-17 17:04 QzZq 阅读(62) 评论(0) 推荐(0)

Simplify流程图

摘要：阅读全文

posted @ 2020-10-14 16:28 QzZq 阅读(105) 评论(0) 推荐(0)

Var Solver::newVar(bool sign, bool dvar),默认sign为true，dvar为true

摘要： 1 Var Solver::newVar(bool sign, bool dvar) { 2 int v = nVars(); 3 watches.init(mkLit(v, false)); 4 watches.init(mkLit(v, true)); 5 watchesBin.init(mkL 阅读全文

posted @ 2020-10-13 18:09 QzZq 阅读(274) 评论(0) 推荐(1)

struct VarOrderLt

摘要： 1 struct VarOrderLt { 2 const vec<double>& activity; 3 bool operator () (Var x, Var y) const { return activity[x] > activity[y]; } 4 VarOrderLt(const 阅读全文

posted @ 2020-10-12 18:39 QzZq 阅读(93) 评论(0) 推荐(0)

struct VarData

摘要： 1 struct VarData { CRef reason; int level; }; 在解析cnf时，S.nVars()使用 1 template<class B, class Solver> 2 static void readClause(B& in, Solver& S, vec<Lit 阅读全文

posted @ 2020-10-12 16:16 QzZq 阅读(154) 评论(0) 推荐(0)

class OccLists

摘要： 1 // 2 // OccLists -- a class for maintaining occurence lists with lazy deletion: 3 // 用于通过延迟删除来维护出现列表的类 4 template<class Idx, class Vec, class Delete 阅读全文

posted @ 2020-10-12 14:23 QzZq 阅读(124) 评论(0) 推荐(1)

Centos7 安装 Emacs

摘要：精简的小攻略，笔者已经使用该方法安装多次。 1、进入root su root 2、安装包 wget wget http://ftp.gnu.org/gnu/emacs/emacs-26.1.tar.gz 3、解压 tar -xzvf emacs* && cd emacs* 4、安装依赖 yum in 阅读全文

posted @ 2020-10-12 13:34 QzZq 阅读(723) 评论(0) 推荐(0)