aibasel/downward

解決的問題

Fast Downward 是一個領域獨立的古典規劃系統，旨在尋找從初始狀態到目標狀態的行動序列，且不依賴於任何特定問題領域。

工作原理

它作為一個通用規劃器運作，可應用於各種任務。該系統支援與線性規劃（LP）求解器（如 CPLEX 和 SoPlex）整合，以滿足特定的優化或限制求解需求。

適用對象

主要面向進行古典規劃科學實驗的研究人員與開發者，其與 Downward Lab Python 套件及專用基準測試倉儲的整合充分證明了這一點。

主要亮點

• 古典規劃的領域獨立方法。
• 支援多種作業系統，包括 Linux、macOS 和 Windows。
• 與 CPLEX 和 SoPlex 等 LP 求解器整合。
• 與專用基準測試套件相容，用於效能評估。