C Interface

typedef struct BitwuzlaTermManager

typedef struct BitwuzlaOptions

typedef struct Bitwuzla

typedef struct BitwuzlaSort

typedef struct BitwuzlaTerm

typedef struct BitwuzlaParser

struct BitwuzlaOptionInfo

enum BitwuzlaKind

enum BitwuzlaOption

enum BitwuzlaResult

enum BitwuzlaRoundingMode

Library Info