docs: def append_formula(self, formula, no_return=True):
          """
              Appends list of clauses to solver's internal formula.
          """
  
          if self.lingeling:
              for clause in formula:
                  self.add_clause(clause, no_return)