Learning and Implmenting Binary Decision Diagram using C++ while Learning github