HMIN_solver_formulaset_write_list()