eval function

String eval(
  1. String str
)

Evaluate an SMT-LIB string, returning the result as a string.

Implementation

String eval(String str) => currentContext.eval(str);