code: def block(self, mcs):
          
  
          self.oracle.add_clause([self.sels[cl_id - 1] for cl_id in mcs])
docs: Block a (previously computed) MCS. The MCS should be given as an
              iterable of integers. Note that this method is not automatically
              invoked from :func:`enumerate` because a user may want to block
              some of the MCSes conditionally depending on the needs. For
              example, one may want to compute disjoint MCSes only in which case
              this standard blocking is not appropriate.
  
              :param mcs: an MCS to block
              :type mcs: iterable(int)