Ce projet traite l'analyse de traces logiques, la classification de motifs de richesse, la génération de matrices FAIs et la simplification de graphes. Il vise à aider les utilisateurs à comprendre et à interpréter les données de traces logiques, à distinguer et à classer les motifs de richesse, à générer des matrices FAIs pour représenter les relations entre les fonctions et à simplifier les graphes pour une meilleure visualisation.