About the Google Group Mirror category

Read-only AMPL Google Group mirror.