EUROPAS 是 NASA 出品的一個規(guī)劃框架，用來建模和處理規(guī)劃調(diào)度和約束滿足問題。該框架包含如下內(nèi)容

• 規(guī)劃數(shù)據(jù)庫（A Plan Database）：EUROPA的技術(shù)基石，用于在計劃初始化和完善時存儲和處理計劃。EUROPA計劃數(shù)據(jù)庫將動作，狀態(tài)，對象和約束的豐富表示與用于自動推理，傳播，查詢和操縱的強(qiáng)大算法集成在一起。

• 問題解決器（A Problem Solver)：一個核心解決者，可以自動查找和修復(fù)計劃數(shù)據(jù)庫中的缺陷?？梢詫⑵渑渲脼橛媱?，安排或同時進(jìn)行?？梢暂p松地對其進(jìn)行自定義，以集成專門的試探法和解析操作。

• 工具箱（A Tool Box）： Europa包括一個調(diào)試器，用于對應(yīng)用程序進(jìn)行檢測和可視化。它還包括用于描述問題域和局部計劃的非常高級的聲明式建模語言。