Если у вас нет программного обеспечения AMPL, вы не сможете запустить файлы AMPL и автоматически преобразовать их в любую форму.
Пакет GLPK имеет собственный язык моделирования GNU Mathprog, который реализует линейное подмножество AMPL. Таким образом, иногда не так сложно перевести модель AMPL в модель GNU Mathprog. Затем GLPK может обработать модель GNU Mathprog и создать файл MPS или LP, который может быть прочитан решателем.
В GNU Mathprog нет оператора ==>
("подразумевается"), обнаруженного в AMPL, поэтому любые ограничения AMPL, использующие этот оператор, должны быть переведены в линейные ограничения. Есть известные способы сделать такой перевод. Если вам нужна помощь в этом, то это должно быть опубликовано в виде отдельного вопроса. (У вас будет больше шансов получить ответ, если вы покажете полное ограничение AMPL, которое вы пытаетесь перевести.)