Integration with glpk