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

🧪 DPLL Solver Playground: Unit Propagation & Backtracking Explorer

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

An interactive 3D simulation exploring dpll solver playground.

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