SAT-Web: A Web-Based Educational SAT Visualisation Tool. - James Madgwick; Martin Mariusz Lester (SMT/POS@CP/SAT/SoCS, 2025)