Parser
======

This example shows how to use the parser via the parser API.

.. api-examples::
    <examples>/api/cpp/parser.cpp
    <examples>/api/c/parser.c
    <examples>/api/java/Parser.java
    <examples>/api/python/parser.py
    <examples>/api/smtlib/parser.smt2
    :skip: py-pythonicapi