Exception
---------

- class :cpp:class:`bitwuzla::Exception`

----

:code:`namespace bitwuzla {`

.. doxygenclass:: bitwuzla::Exception
    :project: Bitwuzla_cpp
    :members:

:code:`}`