implemented a ROBDD library