docs: def enumerate(self):
          """
              This method iterates through MCSes enumerating them until the
              formula has no more MCSes. The method iteratively invokes
              :func:`compute`. Note that the method does not block the MCSes
              computed - this should be explicitly done by a user.
          """
  
          done = False
          while not done:
              mcs = self.compute()
  
              if mcs != None:
                  yield mcs
              else:
                  done = True