Projet de test et de validation pour des fonctionnalités logicielles écrites en C++. Il permet aux développeurs de vérifier l'accord des fonctions avec des règles spécifiques, notamment celles inspirées de la logique Shadok. Utilisé dans un cadre pédagogique pour des cours pratiques.