Abstract/Summary

Provision of tools for explaining SAT solvers and visualising SAT instances helps to facilitate easier entry to the field for newcomers, yet this remains an under-explored area. In this tool paper we present SAT-Web, a web-based educational tool for explaining SAT solving, and the first tool of its kind which can be used entirely from a web-browser. Our tool provides visualisations with search trees and variable interaction graphs, and includes a DPLL solver with tracing. We explain the design, techniques and implementation details behind the tool. We also review approaches and tools for instance visualisation and existing pedagogical tools designed to explain solvers. Finally, we discuss potential future improvements and opportunities for SAT visualisation and pedagogical tools.