Exact_solver now uses the game_tre_logger module.