MCPcopy Create free account
hub / github.com/SuprDewd/CompetitiveProgramming / SAT

Method SAT

code/other/dpll.cpp:6–6  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

4 vi cl, head, tail, val;
5 vii log; vvi w, loc;
6 SAT() : n(0) { }
7 int var() { return ++n; }
8 void clause(vi vars) {
9 set<int> seen; iter(it,vars) {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected