Function linear_solver::solve_minimum

pub fn solve_minimum<T: Clone + PartialEq + Eq + Hash>(
    facts: Vec<T>, 
    infer: fn(cache: &HashSet<T>, _: &[T]) -> Option<Inference<T>>
) -> Vec<T>

Solves the starting condition using the infer function for inference.

Assumes that infer is deterministic and leading to a cycle for every input. Finds the minimum set of facts in the cycle.