docs: def add_clause(self, clause, no_return=True):
          """
              Add a new clause to solver's internal formula.
          """
  
          if self.maplesat:
              res = pysolvers.maplesat_add_cl(self.maplesat, clause)
  
              if res == False:
                  self.status = False
  
              if not no_return:
                  return res