swi prologs clpq库解决单工问题的替代方案

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并且没有维护，所以我对它缺乏信心。

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

Answer 1

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