pub unsafe extern "C" fn Z3_get_version( major: *mut c_uint, minor: *mut c_uint, build_number: *mut c_uint, revision_number: *mut c_uint)
Return Z3 version number information.
Z3_get_full_version