Outil d'optimisation basé sur la programmation par contraintes pour analyser et réduire les ensembles fréquents de données transactionnelles. Il permet d'identifier les motifs les plus pertinents tout en éliminant les redondances, facilitant ainsi l'extraction d'informations clés dans des jeux de données volumineux.