Ce projet permet de gérer des données organisées sous forme d'arbre binaire, facilitant ainsi la structuration et la recherche d'informations. Il offre des fonctionnalités telles que l'ajout, la suppression et la recherche d'éléments dans l'arbre.

Ce projet permet de trouver toutes les racines d'un arbre, d'analyser sa structure et de calculer des métriques associées. Il est particulièrement utile dans les domaines de la bio-informatique, de la recherche en informatique théorique et de l'intelligence artificielle.

Infrared est un framework permettant la résolution efficace de problèmes déclaratifs complexes grâce à une décomposition en arbre. La résolution peut être effectuée par optimisation ou échantillonnage de Boltzmann. Ce framework a été initialement développé pour les problèmes de bio-informatique, tels que la conception de séquences d'ARN avec plusieurs structures cibles.