decouple Resolver from ResolverConfg