SAT-Web is a web-based educational tool for explaining SAT solving. It provides visualisations with search trees and variable interaction graphs, and includes a DPLL solver with tracing.
SAT Web can be accessed from GitHub pages.
Node JS (tested with version v22.14.0 & v22.8.0)
npm install
npm run dev
Generates HTML and assets and places them into a dist folder.
npm run build