Home▸Algorithms & AI▸DPLL Solver Playground: Unit Propagation & Backtracking…

💡 DPLL Solver Playground: Unit Propagation & Backtracking…

Watch a DPLL SAT solver explore a 3-CNF formula's search tree live: unit propagation, decisions, conflicts and backtracking, until it proves SAT or UNSAT.

Algorithms & AI3DModerate60 FPS

⚙ Under the hood

Watch a DPLL SAT solver explore a 3-CNF formula's search tree live: unit propagation, decisions, conflicts and backtracking, until it proves SAT or UNSAT.

DPLLSAT SolverUnit PropagationBacktrackingThree.js

3D · Three.js / WebGL renderer · 60 FPS target · runs fully client-side, no install