GitHub repository: timothy-king/glpk-cut-log
Primary language: C
Description: A fork of glpk that includes additional logging features for how cuts were generated.