Method var

code/other/dpll.cpp:7–7

  vii log; vvi w, loc;
  SAT() : n(0) { }
  int var() { return ++n; }
  void clause(vi vars) {
    set<int> seen; iter(it,vars) {
      if (seen.find(IDX(*it)^1) != seen.end()) return;