Searching in abc/src/aig/miniaig