code: def append_formula(self, formula, no_return=True):
          
  
          if self.maplesat:
              res = None
              for clause in formula:
                  res = self.add_clause(clause, no_return)
  
              if not no_return:
                  return res
docs: Appends list of clauses to solver's internal formula.