pub fn reverse_search<'a>(
poly_list: &mut [FullPolytope],
writer: Box<dyn FnMut(ReverseSearchOut) -> Result<()> + 'a>,
) -> Result<()>
pub fn reverse_search<'a>(
poly_list: &mut [FullPolytope],
writer: Box<dyn FnMut(ReverseSearchOut) -> Result<()> + 'a>,
) -> Result<()>