aibasel/downward

何を解決するか

Fast Downward は、特定の問題領域に依存しない古典的計画システムであり、初期状態から目標状態へ至る行動のシーケンスを発見することを目的として設計されています。

動作方法

これは汎用的な計画ツールとして機能し、さまざまなタスクに適用可能です。特定の最適化や制約解決のニーズに対応するため、CPLEX や SoPlex などの線形計画法（LP）ソルバーとの統合をサポートしています。

対象ユーザー

主に古典的計画に関する科学実験を実施する研究者や開発者を対象としており、Downward Lab Python パッケージとの統合や専用のベンチマークリポジトリの存在からその意図が明らかです。

特徴

• 古典的計画における領域独立アプローチ。
• Linux、macOS、Windows など複数のオペレーティングシステムをサポート。
• CPLEX や SoPlex などの LP ソルバーとの統合。
• パフォーマンス評価用の専用ベンチマークスイートと互換性あり。