SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL. - Artur Niewiadomski 001; Maciej Nazarczuk; Mateusz Przychodzki; Magdalena Kacprzak; Wojciech Penczek; Andrzej Zbrzezny (AAMAS, 2024)