program that generates glpk ampl code