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.

See also:

• Z3_get_full_version