Add Solver::ProcessArgs.