Circuits booléens et graphes

Bibliothèque Python de graphes orientés (OpenDigraph) appliquée à la modélisation et l'évaluation de circuits booléens acycliques. Implémentation d'algorithmes de graphe (Dijkstra, tri topologique, plus long chemin), de synthèse de circuits depuis des formules propositionnelles, et étude de cas (half-adder, additionneurs, vérification de code de Hamming).