Function iter

code/other/dpll.test.cpp:27–33

            rep(i,0,m) {
                bool found = false;
                iter(it,cl[i]) {
                    int t = abs(*it) - 1;
                    if (((s & (1<<t)) != 0) == (*it > 0)) {
                        found = true;
                        break;
                    }
                }
                if (!found) {
                    ok = false;
                    break;