A command-line interface to the resolver library