code: def add(self, s, c, track=False):
          
          return self._add(s, self.convert_list(c), track=track)
docs: This function adds constraints to the backend solver.
  
          :param c: A sequence of ASTs
          :param s: A backend solver object
          :param bool track: True to enable constraint tracking, which is used in unsat_core()