C++ Interface
=============

:code:`namespace bitwuzla {`

Classes
-------

- class :doc:`classes/options`
- class :doc:`classes/optioninfo`
- class :doc:`classes/termmanager`
- class :doc:`classes/bitwuzla`
- class :doc:`classes/sort`
- class :doc:`classes/term`
- class :doc:`classes/parser`
- class :doc:`classes/exception`
- class :doc:`classes/terminator`

Enums
-----

- enum class :doc:`enums/kind`
- enum class :doc:`enums/option`
- enum class :doc:`enums/result`
- enum class :doc:`enums/roundingmode`

Functions
---------

- :doc:`library_info`

:code:`}`