C++ Interface
This section provides a detailed description of the C++ API, the primary API of Bitwuzla. For an introduction on how to use the C++ API, refer to the quickstart guide. A comprehensive set of examples covers basic and common use cases.
namespace bitwuzla {
Classes
class Options
class OptionInfo
class TermManager
class Bitwuzla
class Sort
class Term
class Parser
class Exception
class Terminator
Enums
enum class Kind
enum class Option
enum class Result
enum class RoundingMode
Functions
}