Para resolver os modelos usando o GLPK, execute o seguinte comando:

gpsol --match <arquivo de descricao do modelo> --data <arquivo com
dados de entrada>

Exemplo:

glpsol --math clique.mod --data grafo1.dat

Para verificar o modelo criado a partir de um certo arquivo de
entrada, execute o comando:

gpsol --match <arquivo de descricao do modelo> --data <arquivo com
dados de dados> --wlp <arquivo com o modelo especifico>

Exemplo:

glpsol --math clique.mod --data grafo1.dat --wlp modelo.lp

[abra o arquivo modelo.lp num editor de texto qualquer para verificar
se as variaveis, restricoes e funcao objetivo foram cridas da forma
desejada]