Supported features

More PDDL support

Most planners only support a subset of the language. Autoplan Studio handles classical, numeric and temporal domains in one planner, so you never have to switch tools or cut a model down to fit one.

Yessupported Partialsome forms only Nonot supported ?unverified

Feature	Autoplan Studioclassical, numeric, temporal, PDDL3	Fast Downward / LAMAclassical	ENHSPclassical, numeric, PDDL+	Metric-FFclassical, numeric	POPFclassical, numeric, temporal	OPTICclassical, numeric, temporal, PDDL3	LPG-tdclassical, numeric, temporal	Temporal Fast Downwardclassical, numeric, temporal	UPMurphinumeric, temporal, PDDL+	DiNonumeric, temporal, PDDL+	Count Downwardclassical, numeric	Paninoclassical, numeric	Pattyclassical, numeric	Tyrclassical, numeric
Classical
STRIPS`:strips`	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
Typing`:typing`	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
Negative preconditions`:negative-preconditions`	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	?	?	Yes	Yes	?	Yes
Disjunctive preconditions`:disjunctive-preconditions`	Yes	Yes	Partial	Yes	No	No	?	Yes	?	?	Yes	Partial	?	Yes
Quantified preconditions`:quantified-preconditions`	Yes	Yes	Partial	Yes	No	No	?	Yes	?	?	Yes	Partial	?	Yes
Conditional effects`:conditional-effects`	Yes	Yes	Yes	Yes	No	No	?	Yes	?	?	Yes	Yes	?	Yes
Equality`:equality`	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	?	?	Yes	Yes	?	Yes
Derived predicates`:derived-predicates`	Yes	Yes	No	No	No	No	Yes	Yes	No	No	?	No	No	Yes
Action costs`:action-costs`	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	?	?	Yes	Yes	?	Yes
Numeric
Numeric preconditions`:numeric-fluents`	Yes	No	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
Numeric effects`:numeric-fluents`	Yes	No	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes	Yes
Plan metric to optimise`:metric`	Yes	Partial	Yes	Yes	Yes	Yes	Yes	Yes	?	?	Yes	Yes	?	?
Temporal
Durative actions`:durative-actions`	Yes	No	No	No	Yes	Yes	Yes	Yes	Partial	Partial	No	No	No	No
Duration inequalities`:duration-inequalities`	Yes	No	No	No	Yes	Yes	?	?	?	?	No	No	No	No
Required concurrency	Yes	No	No	No	Yes	Yes	No	Partial	?	?	No	No	No	No
Continuous effects`:continuous-effects`	Yes	No	No	No	Yes	Yes	No	No	Yes	Yes	No	No	No	No
Timed initial literals`:timed-initial-literals`	Yes	No	No	No	Yes	Yes	Yes	?	?	?	No	No	No	No
PDDL+ processes and events`:time`	No	No	Yes	No	No	No	No	No	Yes	Yes	No	?	?	No
Non-linear continuous change	No	No	Partial	No	No	No	No	No	Yes	Yes	No	?	?	No
PDDL3
State-trajectory constraints`:constraints`	Yes	No	No	No	No	Yes	No	No	No	No	No	No	No	No
Preferences`:preferences`	No	No	No	No	No	Yes	No	No	No	No	No	No	No	No

Other planners' support is taken from their documentation and papers, for the latest public release of each. A "?" is unverified. If something here is wrong, tell us and we will correct it. Each planner has a page of its own, and the guide to PDDL versions says which feature came in which version.

Refused, never guessed

A construct Autoplan Studio cannot plan with stops the run with the line and column. It is never quietly dropped, which would give a plan that looks valid and is not.

Every plan checked

Plans are validated against the full semantics, constraints and continuous change included, before they are reported as solved.

Coming up

PDDL3 preferences, PDDL+ processes and events, object fluents, and input formats beyond PDDL.