GLPK/GLPK file extensions

GLPK normally uses the following file extensions to indicate the various file types it uses.

Documentation formats are excluded from this list.