GLPK resolution