SAT-IT: The Interactive SAT Tracer. - Marc Cané; Jordi Coll; Marc Rojo; Mateu Villaret (CCIA, 2023)