Function flatzinc::solve_items::optimize_int

pub fn optimize_int<'a, E>(input: &mut &'a str) -> PResult<Goal, E>
where
    E: ParserError<&'a str> + FromExternalError<&'a str, ParseIntError>,