Function z3_sys::Z3_get_version

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.