Function Z3_get_num_simplifiers 

pub unsafe extern "C" fn Z3_get_num_simplifiers(
    c: Z3_context,
) -> c_uint

Return the number of builtin simplifiers available in Z3.

See also

• Z3_get_simplifier_name