質問する場所が間違っていたらすみません。
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 線形プログラミング キットです。シンプレックスを実験するために他の人は何を使用していますか?