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.
}