work in progress: rewrite GLPK integration