Function set_alldifferent_encoding 

pub fn set_alldifferent_encoding(encoding: Option<AllDifferentEncoding>)

Pin the allDifferent strategy, or let the heuristic choose an applicable composition.