Function run_solve_command 

pub fn run_solve_command(
    global_args: GlobalArgs,
    solve_args: Args,
) -> Result<()>