Parser with Shared Symbol Manager
=================================

This example shows how to use the parser via the parser API and use it to
parse additional terms in another input source.

.. api-examples::
    <examples>/api/cpp/parser_sym_manager.cpp
    <examples>/api/c/parser_sym_manager.c
    <examples>/api/java/ParserSymbolManager.java
    <examples>/api/python/parser_sym_manager.py
    :skip: py-pythonicapi, smt2