A Binary Decision Diagram constructor and executer using BFS and DFS