A fork of glpk that includes additional logging features for how cuts were generated.