fn minimize_values_batch( values: &mut Vec<DynSolValue>, try_values: &mut dyn FnMut(&[DynSolValue]) -> bool, ) -> bool