code: def eval_constraints(self, constraints):
          
          # eval_ast is concretizing symbols and evaluating them, this can raise
          # exceptions.
          try:
              return all(self.eval_ast(c) for c in constraints)
          except errors.ClaripyZeroDivisionError:
              return False
docs: Returns whether the constraints is satisfied trivially by using the
          last model.