Command line interface for resolver