Also minimax solver adopts the logging module now.