Searching in tools/src/cnf