Boolean Circuits and Graphs

Python library of directed graphs (OpenDigraph) applied to the modeling and evaluation of acyclic Boolean circuits. Implementation of graph algorithms (Dijkstra, topological sort, longest path), circuit synthesis from propositional formulas, and case studies (half-adder, adders, Hamming code verification).