2020年10月13日

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 阅读(270) 评论(0) 推荐(1)

导航