KaceCottam / bdd

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Symbolic Graph Project for Algorithm Analysis Class.

Represent a boolean formula in BDD, and compute a transitive closure.

Done using python and pyEDA.

About


Languages

Language:Python 100.0%