parser method

ParserContext parser()

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

Implementation

ParserContext parser() => _getParserContext(_z3.mk_parser_context());