HMIN_solver_domain_write()