用于求解单纯形的 swi prolog clp 库的替代方案

Question

如果问的地方不对，请见谅。

我一直在使用 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 线性编程工具包。其他人用什么来试验单纯形？

Answer 1

对于存档，maxima (http://maxima.sourceforge.net/) 中的单纯形实现非常好。