Function Z3_tactic_apply 

pub unsafe extern "C" fn Z3_tactic_apply(
    c: Z3_context,
    t: Z3_tactic,
    g: Z3_goal,
) -> Option<Z3_apply_result>

Apply tactic t to the goal g.

See also:

• Z3_tactic_apply_ex