Library Info

const char *bitwuzla_copyright()

Get copyright information.

const char *bitwuzla_version()

Get version information.

const char *bitwuzla_git_id()

Get git information.