an interface to the GNU Linear Programming Kit (GLPK) for the Pure programming language
