Autowrite est une bibliothèque logicielle permettant de manipuler des termes, des systèmes de réécriture de termes et des automates de termes. Elle est en particulier utilisée par la bibliothèque Autograph qui calcule de propriétés sur des graphes représentés par des termes. Dans le cadre de ces projets, l'implémentation du type de données "Ensemble" est cruciale. Pour optimiser les performances, nous souhaitons comparer les performances de plusieurs implémentations. On demande de proposer plusieurs implémentations du type de données "Ensemble" et d'effectuer des tests approfondis pour comparer les performances des diverses implémentations.
Plus précisément, on demande: