def _exprs_to_smtlib(*exprs, **kwargs):
return '<STR_LIT:\n>'.join(_expr_to_smtlib(e, **kwargs) for e in exprs) + '<STR_LIT:\n>'<EOL>
Dump all the variables and all the constraints in an smt-lib format

:param exprs : List of variable declaration and constraints that have to be
         dumped in an smt-lib format

:return string: smt-lib representation of the list of expressions