docs: def get(self):
          """
              This method computes and returns a hitting set. The hitting set is
              obtained using the underlying oracle operating the MaxSAT problem
              formulation. The computed solution is mapped back to objects of the
              problem domain.
  
              :rtype: list(obj)
          """
  
          model = self.oracle.compute()
  
          if model:
              if self.htype == 'rc2':
                  # extracting a hitting set
                  self.hset = filter(lambda v: v > 0, model)
              else:
                  self.hset = model
  
              return list(map(lambda vid: self.idpool.id2obj[vid], self.hset))