Searching in abc/src/bdd/epd