pub fn get_solutions( solver: Solver, model: Model, num_sols: i32, keep_intermediate_solutions: bool, solver_input_file: &Option<PathBuf>, rule_trace_cdp: bool, ) -> Result<Vec<BTreeMap<Name, Literal>>, Error>