P31 est une bibliothèque ou un outil dédié à l'analyse et à la manipulation d'arbres binaires. Il permet d'évaluer des propriétés structurelles comme l'équilibre, l'homogénéité ou la complétude, et propose des fonctions pour effectuer des recherches dichotomiques ou générer des sous-séquences. Idéal pour les applications nécessitant des opérations avancées sur des structures de données hiérarchiques.