PKG_LIBS = -lglpk -lgmp -lm

