added resolver.py