DPLL SAT Solver ·
Branch & Propagate
un
seel
.com · Unit propagation · Backtracking · NP-complete
Decisions
0
Propagations
0
State
—
Unassigned
True / satisfied
False / conflict
Decision
Play
Pause
Unmute
Reset
Un
seel
.com · DPLL SAT Solver