def add(self, s, c, track=False):
return self._add(s, self.convert_list(c), track=track)<EOL>
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()