pub fn get_abstraction(
game: &Game,
) -> Result<(Vec<State>, Vec<Vec<isize>>), AbstractionError>Expand description
Top-level API: either load from cache to save time or compute the exact homomorphism. Returns (all_states, clusters), and saves to disk for next time.