chiark / gitweb /
WIP create GLPK thing