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>Expand description
Collect and reconstruct model solutions.