FileParser est une bibliothèque C++ conçue pour analyser, valider et manipuler des fichiers de configuration ou structurés (TOML, YAML, XML, etc.). Elle permet de remplacer des variables, de gérer des dictionnaires imbriqués, de vérifier la syntaxe et de convertir des formats. Utilisée principalement pour automatiser des tâches de parsing et de traitement de fichiers dans des environnements techniques.

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.