docs: def add_clause(self, clause, no_return=True):
          """
              Add a new clause to solver's internal formula.
          """
  
          if self.lingeling:
              pysolvers.lingeling_add_cl(self.lingeling, clause)