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

.. doxygengroup:: c_libinfo
    :project: Bitwuzla_c
    :content-only: