Fix missing headers, add GLPK interface
Make GLPK work as well