Library Info
------------

:code:`namespace bitwuzla {`

.. doxygengroup:: cpp_libinfo
    :project: Bitwuzla_cpp
    :content-only:

:code:`}`