对不起,如果这是错误的地方问。
我一直在使用 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 线性编程工具包。其他人用什么来试验单纯形?