aibasel/downward

What it solves

Fast Downward is a domain-independent classical planning system designed to solve complex planning tasks without requiring specific knowledge about the domain being addressed.

How it works

It operates as a general-purpose planner that can be applied across various domains. The system supports integration with linear programming (LP) solvers like CPLEX and SoPlex to enhance its planning capabilities.

Who it’s for

This tool is primarily intended for researchers and developers conducting scientific experiments in classical planning, as evidenced by its integration with the Downward Lab Python package for running experiments.

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 benchmark repository for testing planning tasks.