Альтернатива для SWI прологов Библиотека CLPQ для простого симплекса

Извините, если это неправильное место, чтобы спросить.

Я использовал библиотеку 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. Что другие люди используют для экспериментов с симплексом?

1 ответ

Решение

Для архива реализация симплекса в максимумах (http://maxima.sourceforge.net/) очень хороша.

Другие вопросы по тегам