2-SAT ·
Implication Graph + SCC
un
seel
.com · Two-literal clauses · O(n + m)
Clauses
0
Implications
0
State
—
literal x (true)
literal ¬x (false)
strongly connected
contradiction
▶ Play
←
→
🔇 Unmute
Reset
Un
seel
.com · 2-SAT