Le but du problème consiste à générer des diagrammes de décision binaires, réduits et ordonnés avec une aproche analogue à celle présentée dans l'article de Newton et Vera - A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams
Exécuter simplement en faisant: python main.py
Enjoy..