Optimization 解决单工问题的swi prologs 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））。
干管（U、V、W）：-
{0=

无需转换为任何特殊格式，只需键入约束和对象函数。很好，但是我注意到clpq有bug并且没有维护，所以我对它缺乏信心

---

所以我想知道是否有人知道一些开源的东西，同样简单，没有bug？到目前为止，我找到的最好的工具是GNU线性编程工具包。其他人用什么来试验simplex？

对于归档，maxima中的simplex实现(http://maxima.sourceforge.net/)非常好。

SWI中的clpq库源于SICStus中的原始库。它的应用非常广泛。