def eval_constraints(self, constraints):
<EOL>try:<EOL><INDENT>return all(self.eval_ast(c) for c in constraints)<EOL><DEDENT>except errors.ClaripyZeroDivisionError:<EOL><INDENT>return False<EOL><DEDENT>
Returns whether the constraints is satisfied trivially by using the
        last model.