pub async fn solve<B: Backend>(
problem: &Problem<'_>,
tier: &Tier<B>,
heard: &mut dyn FnMut(&Point),
abandon: &dyn Abandon,
) -> Result<Solved, CliError>Expand description
heard hears each point as it is rendered; abandon stops the search between renders
and the render in flight.