docs: def get_model(self):
          """
              Get a model if the formula was previously satisfied.
          """
  
          if self.maplesat and self.status == True:
              model = pysolvers.maplecm_model(self.maplesat)
              return model if model != None else []