Small changes in minimax_solver.