Published September 29, 2020 | Version v2
Software Open

Fast Downward Aidos: Code and Planner Abstract

  • 1. University of Basel
  • 2. University of British Columbia
  • 3. University of Freiburg

Description

Fast Downward Aidos is a classical planner aimed at detecting unsolvable planning tasks. Three variants of the planner participated in the 2016 Unsolvability International Planning Competition and all of them proved more tasks unsolvable than all other competitors.

This zipfile contains the Aidos code and planner abstract. See the included README.md file for instructions on how to run the planner.

We also maintain the Aidos code at https://github.com/jendrikseipp/aidos. by adding fixes for newer library and compiler versions.

Files

aidos-uipc2016-code.zip

Files (930.7 kB)

Name Size Download all
md5:3a4c9092aba19d2b668fb1e58e12f8de
705.9 kB Preview Download
md5:d9e34df0a266889d7450c07dd06f1383
224.7 kB Preview Download