Home▸Computer Science▸Automated Reasoning: SAT Solver Search Tree Visualizer

🧩 Automated Reasoning: SAT Solver Search Tree Visualizer

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.

Computer Science3DAdvanced60 FPS

Details

CategoryComputer Science

RenderingThree.js · WebGL

DifficultyAdvanced

Target FPS60

ControlsVariables slider (3-8) sets the formula size; clause-density slider (2.0-6.0 clauses per variable) tunes SAT/UNSAT likelihood around the classic 4.26 phase transition; steps-per-second slider controls playback speed; Play/Pause and New formula buttons control and restart the live DPLL search.

Three.jsautomated reasoningSAT solverDPLLpropositional logicInstancedMesh

Related simulations

Hash Function Avalanche VisualizerInteractive 3D bit-grid where flipping a single input bit shows how a cryptographic hash's…

Merkle Tree Proof VisualizerInteractive 3D binary hash tree where selecting a leaf and generating its proof path shows…

CPU Scheduling Policy SimulatorInteractive 3D process queue where switching between FCFS, SJF, priority and round-robin… ⊞ All 83 in Computer Science →

⚙ Under the hood

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

Three.jsautomated reasoningSAT solverDPLLpropositional logicInstancedMesh

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