aibasel/downward

解决的问题

Fast Downward 是一个领域无关的古典规划系统，旨在找到从初始状态到目标状态的行动序列，且不依赖于任何特定问题领域。

工作原理

它作为一个通用规划器运行，可应用于各种任务。该系统支持与线性规划（LP）求解器（如 CPLEX 和 SoPlex）集成，以满足特定的优化或约束求解需求。

适用人群

主要面向进行古典规划科学研究实验的研究人员和开发者，其与 Downward Lab Python 包和专用基准测试仓库的集成充分证明了这一点。

主要亮点

• 古典规划的领域无关方法。
• 支持多种操作系统，包括 Linux、macOS 和 Windows。
• 与 CPLEX 和 SoPlex 等 LP 求解器集成。
• 与专用基准测试套件兼容，用于性能评估。