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