HMIN_solver_set_write()