Changed all_games to generator function
Wrote a theorem that all solutions can be expressed in 1-dim
find_ordering now returns the recursion depth at which the solution was
found.