get_full_version method

Z3_string get_full_version()

\brief Return a string that fully describes the version of Z3 in use.

\sa Z3_get_version

def_API('Z3_get_full_version', STRING, ())

Implementation

Z3_string get_full_version() {
  return _get_full_version();
}