Equivalence and Containment Check for C17, C880, C1355, C1908, C3540

Project: Equivalence and Containment Check for C17, C880, C1355, C1908, C3540 also finding max node in manager before and after applying different Reordering Techniques.

Description: Using Dynamic Memory Allocation techniques and finding BDD for each node for every circuits, then applied different CUDD REORDER techniques RANDOM, SHIFT, GROUP_SHIF, SYMM_SIFT, GROUP_SIFT_CONV, WINDOW2, ANNEALING

Please find all the codes here GitHub.

Thanks.