Implementation of ROBDD for EDA Class