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.