aibasel/downward

The Fast Downward domain-independent classical planning system

What it solves

Fast Downward is a domain-independent classical planning system designed to find sequences of actions that lead from an initial state to a goal state in a way that is not tied to any specific problem domain.

How it works

It functions as a general-purpose planner that can be applied across various tasks. The system supports integration with linear programming (LP) solvers like CPLEX and SoPlex for specific optimization or constraint-solving needs.

Who it’s for

It is primarily intended for researchers and developers conducting scientific experiments in classical planning, as evidenced by its integration with the Downward Lab Python package and a dedicated benchmark repository.

Highlights

  • Domain-independent approach to classical planning.
  • Support for multiple operating systems including Linux, macOS, and Windows.
  • Integration with LP solvers such as CPLEX and SoPlex.
  • Compatible with a dedicated benchmarking suite for performance evaluation.

Related

  • Project
  • Project
  • Project
  • Project
  • Project