Le but du problème consiste à générer des diagrammes de décision binaires, réduits et ordonnés avec une approche analogue à celle présentée dans l’article de Newton et Verna A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams.

• Figures/: Contient toutes les figures générée dans le cadre du projet
• library/ : Contient le code source de la librairie de nombre arbitraire utilisée et un script bash d'installation rapide vérifier et tester Linux/MacOs/MacM1
• Visualisation/ : A la suite des tests les resultats et images .dot sont générées ici.

• src/arithmetic_lib/ : Code compilé en natif de la librairie arithmetique
• src/decision_tree/ : Fichiers sources des arbres ROBDD
• src/tests/ : Fichiers sources des tests du projets
• src/warming_up/ : Fichiers sources de la premiere partie de l'enoncée

At the root of the project, execute:

  bash ./library/quick_install.sh #1
  make && ./warming_up.test.out #2
  make && ./tree.test.out 38 #3
  #Genere un arbre basé sur table de verité de 38 avec le nombre minimal de variables

• Using Array instead of vector (src/warming_up/warming_up.h) (Important)
• Using String_Linked_List (with cache) instad of concatenation (For .dot conversion and lukas building)

• Enoncé Projet