parser function - z3 library

parser function

ParserContext parser()

Create a context for parsing and evaluating SMT-LIB strings.

Implementation

ParserContext parser() => currentContext.parser();