用于解决单纯形的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有bug并且没有维护，所以我对它缺乏信心。

所以我想知道是否有人知道开源，同样简单，没有错误？到目前为止，我发现的最好的是GNU线性编程工具包。其他人用于试验单纯的什么？

Answer 1

对于存档，maxima（http://maxima.sourceforge.net/）中的单工实现非常好。