Library Info

namespace bitwuzla {

const char *copyright()

Get copyright information.

Returns:

A string with the copyright information.

const char *version()

Get version information.

Returns:

A string with the version information.

const char *git_id()

Get git information.

Returns:

A string with the git information.

}