docs: def run(self):
          """
              Download, patch and compile SAT solvers before building.
          """
  
          # download and compile solvers
          prepare.do(to_install)
  
          # now, do standard build
          distutils.command.build.build.run(self)