def _reset(self, constraints=None):
if self._proc is None:<EOL><INDENT>self._start_proc()<EOL><DEDENT>else:<EOL><INDENT>if self.support_reset:<EOL><INDENT>self._send("<STR_LIT>")<EOL>for cfg in self._init:<EOL><INDENT>self._send(cfg)<EOL><DEDENT><DEDENT>else:<EOL><INDENT>self._stop_proc()<EOL>self._start_proc()<EOL><DEDENT><DEDENT>if constraints is not None:<EOL><INDENT>self._send(constraints)<EOL><DEDENT>
Auxiliary method to reset the smtlib external solver to initial defaults