Resolver constructor

Resolver()