pub fn get_minion_solutions( model: Model, num_sols: i32, ) -> Result<Vec<BTreeMap<Name, Literal>>, Error>