Un BDD (Binary Decision Diagram) est un arbre binaire réduit. Dans le cadre d'une analyse d'un système particulier de cryptographie, il a été nécessaire de développer une bibliothèque de manipulation des BDD.
Le sujet propose donc d'étendre les fonctionnalités de base de cette bibliothèque de façon à construire un véritable outil, le plus complet possible, permettant de faciliter la manipulation des BDD. Un effort particulier est demandé en ce qui concerne les formats d'entrées et sorties du programme.
Aucun prérequis mathématique autre que ceux de base n'est nécessaire.
Du point de vue informatique il est très fortement recommandé
d'avoir des compétences en algorithmique, logique élémentaire,
analyse grammaticale (outils
lex/yacc), C, cvs. De plus sans doute
sera-t'il nécessaire d'étudier la spécification ou le code de
certaines applications concurrentes.