Function vampire_set_saturation_algorithm 

pub unsafe extern "C" fn vampire_set_saturation_algorithm(
    algorithm: *const c_char,
)

Set saturation algorithm. @param algorithm Name of algorithm (e.g., “lrs”, “discount”, “otter”)