HMIN_solver_formulaset_write()