Outil permettant de parser et de vérifier la cohérence syntaxique et la bonne formation des scripts écrits dans le langage SMT-LIB version 2.6. Il facilite l'analyse de fichiers contenant des logiques, des théories ou des commandes de vérification, en s'appuyant sur des théories et logiques prédéfinies pour valider la structure des termes et des assertions.

Ce projet propose des scripts pour automatiser et optimiser l'analyse de données. Il permet de traiter des fichiers volumineux, d'extraire des informations clés et de générer des rapports structurés. Les outils développés visent à simplifier les tâches répétitives et à améliorer l'efficacité des équipes en charge de l'analyse.