Searching in abc/src/bdd/cudd