JavaScript port of GLPK