z3_sys
pub unsafe extern "C" fn Z3_get_tactic_name( c: Z3_context, i: c_uint) -> Z3_string
Return the name of the idx tactic.
i < Z3_get_num_tactics(c)