GitHub repository: AbhishekKumar005/Summer-intern-project
Description: CUDD Library in C for visualizing digital logic as BDDs( Binary Decision Digrams)