SymbolManager
=============

This class manages a symbol table and other meta-information pertaining to
SMT-LIB v2 inputs (e.g., named assertions, declared functions, etc.).

-----

.. autoclass:: cvc5.SymbolManager
    :members:
    :undoc-members: