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有缺陷並且沒有維護，所以我對它缺乏信心。

所以我想知道是否有人知道開源的東西，同樣簡單，沒有錯誤？迄今爲止我發現的最好的是GNU線性編程套件。其他人使用什麼來實驗單純？

Answer 1

對於檔案來說，maxima（http://maxima.sourceforge.net/）中的simplex實現非常好。