Symbolic Graph Project for Algorithm Analysis Class. Represent a boolean formula in BDD, and compute a transitive closure. Done using python and pyEDA.