code: def do(to_install):
      
  
      for solver in to_install:
          print('preparing {0}'.format(solver))
  
          download_archive(sources[solver])
          extract_archive(sources[solver][-1], solver)
          adapt_files(solver)
          patch_solver(solver)
          compile_solver(solver)
docs: Prepare all solvers specified in the command line.