An interface to GLPK