Method sat

code/other/two_sat.cpp:33–36

      res &= 1; }
    return br | !res; }
  bool sat() {
    rep(i,0,2*n+1)
      if (i != n && V[i].num == -1 && !dfs(i)) return false;
    return true; } };
// vim: cc=60 ts=2 sts=2 sw=2: