code: def adapt_files(solver):
      
  
      print("adapting {0}'s files".format(solver))
      root = os.path.join('solvers', solver)
  
      for arch in to_extract[solver]:
          arch = os.path.join(root, arch)
          extract_archive(arch, solver, put_inside=True)
  
      for fnames in to_move[solver]:
          old = os.path.join(root, fnames[0])
          new = os.path.join(root, fnames[1])
          os.rename(old, new)
  
      for f in to_remove[solver]:
          f = os.path.join(root, f)
          if os.path.isdir(f):
              shutil.rmtree(f)
          else:
              os.remove(f)
docs: Rename and remove files whenever necessary.