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