Извините, если это неправильное место, чтобы спросить.
Я использовал библиотеку SWI Prolog clpq для решения симплекса.Я нахожу синтаксис довольно простым и выразительным.Выглядит это так:
:- use_module(library(clpq)).
main(U, V, W) :-
{ 0 =< U, U =< 1,
0 =< V, V =< 1,
0 =< W, W =< 1
},
maximize(U + V - W).
Нет необходимости конвертировать в какой-либо специальный формат, достаточно просто ввести свои ограничения и функцию объекта.Отлично, но до меня дошло, что в clpq есть ошибки, и он не поддерживается, поэтому мне не хватает уверенности в этом.Лучшее, что я нашел, - это набор для линейного программирования GNU.Что другие люди используют для экспериментов с симплексом?