Outil spécialisé dans le calcul des tables de contraintes pour l'abstraction d'opérateurs cryptographiques de type Tagada. Il permet d'analyser et de générer des données nécessaires à la compréhension et à l'optimisation des fonctions de chiffrement, facilitant ainsi la recherche et le développement en cryptographie.

Ce projet automatise la génération de tables cryptographiques pour l'algorithme Rijndael (AES) en produisant des fichiers LaTeX structurés. Il permet de calculer et formater des données techniques complexes pour des analyses ou des documentations spécialisées. Les résultats sont exploitables dans des rapports ou des présentations techniques.