The json document creation in exact_solver and ifes_solver is now delegated to the game_tree_log module.