docs: def init(self, with_soft=True):
          """
              The method for the SAT oracle initialization. Since the oracle is
              is used non-incrementally, it is reinitialized at every iteration
              of the MaxSAT algorithm (see :func:`reinit`). An input parameter
              ``with_soft`` (``False`` by default) regulates whether or not the
              formula's soft clauses are copied to the oracle.
  
              :param with_soft: copy formula's soft clauses to the oracle or not
              :type with_soft: bool
          """
  
          self.oracle = Solver(name=self.solver, bootstrap_with=self.hard, use_timer=True)
  
          # self.atm1 is not empty only in case of minicard
          for am in self.atm1:
              self.oracle.add_atmost(*am)
  
          if with_soft:
              for cl, cpy in zip(self.soft, self.scpy):
                  if cpy:
                      self.oracle.add_clause(cl)