glpk - GLPK interface