Function Z3_tactic_repeat 

pub unsafe extern "C" fn Z3_tactic_repeat(
    c: Z3_context,
    t: Z3_tactic,
    max: c_uint,
) -> Option<Z3_tactic>

Return a tactic that keeps applying t until the goal is not modified anymore or the maximum number of iterations max is reached.