Back to [[Releases]].

= Fast Downward 22.06.1 =

Fast Downward 22.06.1 was released on September 15, 2022.

It is a bugfix release of Fast Downward 22.06, which was released on June 16, 2022.

Highlights of 22.06:

 * We fixed a bug in the translator component that could lead to incorrect behavior in tasks where predicates are mentioned in the goal that are not modified by any actions.

 * Various speed improvements to landmark factories. This is part of a larger ongoing clean-up of the landmark code.

 * More informative output, and more control over the output. The driver now prints the total runtime of all components. For many planner components, including all heuristics, the verbosity level can now be configured individually.

The Apptainer and Docker distributions of the planner include LP support using the [[https://soplex.zib.de/|SoPlex]] solver. Thank you to ZIB for their solver and for giving permission to include it in the release. !SoPlex is licensed under the [[https://scipopt.org/academic.txt|ZIB Academic License]].

== Downloads ==

 * source tarball: [[attachment:fast-downward-22.06.1.tar.gz||&do=get]]
 * Apptainer (formerly known as Singularity) image: [[attachment:fast-downward.sif||&do=get]]
 * Docker container: [[https://hub.docker.com/r/aibasel/downward|aibasel/downward:22.06 on Docker Hub]]
 * Vagrantfile: [[attachment:Vagrantfile||&do=get]] for Fast Downward 22.06

For Apptainer, Docker and Vagrant, see QuickStart for instructions on how to run the planner. That page explains how to run the latest release of Fast Downward, so you have to amend the instructions if you want to run an older release.

For the tarball, if you have satisfied all dependencies, the following should build and run the planner with configuration alias `lama-first` on PDDL files `/path/to/domain.pddl` and `/path/to/problem.pddl` on a Linux or macOS system:
{{{#!bash
tar -xvzf fast-downward-22.06.tar.gz
cd fast-downward-22.06
./build.py
./fast-downward.py --alias lama-first /path/to/domain.pddl /path/to/problem.pddl
}}}

For dependencies and more advanced information (including Windows builds), see [[https://github.com/aibasel/downward/blob/main/BUILD.md|the build instructions]].

== Limitations ==

For licensing reasons, the binary distributions of Fast Downward have limited support for commercial LP solvers (CPLEX and Gurobi). The Docker and Apptainer distributions only support !SoPlex. The Vagrant version supports !SoPlex and/or CPLEX if they are available at provisioning time. See QuickStart for more information.

== Referencing Fast Downward 22.06 ==

If you use this version of Fast Downward in a scientific publication, we encourage you to mention the version number, as in
"We ran experiments with Fast Downward 22.06." The canonical reference for citing Fast Downward is the following journal paper:

{{{
@Article{helmert-jair2006,
  author =  "Malte Helmert",
  title =   "The {Fast} {Downward} Planning System",
  journal = "Journal of Artificial Intelligence Research",
  year =    "2006",
  volume =  "26",
  pages =   "191--246"
}
}}}

== Changes in Fast Downward 22.06 ==

 * translator: Fix a bug where the translator would not check goal conditions on predicates that are not modified by actions. <<BR>>
 https://issues.fast-downward.org/issue1055

 * driver: Print overall planner resource limits and overall planner runtime on Linux and macOS systems. <<BR>>
 https://issues.fast-downward.org/issue1056

 * logging: verbosity option for all evaluators <<BR>>
 https://issues.fast-downward.org/issue921 <<BR>>
 All evaluators and heuristics now have their own configurable logger and no longer use `g_log`. These loggers have a verbosity option, which allows choosing between silent, normal, verbose and debug for all instances of evaluators created on the command line.

 * landmarks: Speed up landmark generation time by 10-20% for `lm_rhw`, `lm_zg`, and `lm_exhaust` by avoiding unnecessary computations in the landmark exploration. <<BR>>
 https://issues.fast-downward.org/issue1044

 * landmarks: Speed up landmark generation time by 5-15% for `lm_rhw`, lm_zg`, and `lm_exhaust` by computing reachability in the landmark exploration as boolean information instead of (unused) integer cost/level information. <<BR>>
 https://issues.fast-downward.org/issue1045

 * landmarks: Improve landmark dead-end detection so that relevant static information is only computed once, instead of at every state evaluation. <<BR>>
 https://issues.fast-downward.org/issue1049

 * infrastructure: Upgrade !GitHub Actions to Windows Server 2019 (Visual Studio Enterprise 2019) and Windows Server 2022 (Visual Studio Enterprise 2022). Remove Windows Server 2016, because !GitHub Actions no longer support it. <<BR>>
 https://issues.fast-downward.org/issue1054

 * infrastructure: Run !GitHub Actions only for the following branches: `main`, `issue*`, `release-*`. <<BR>>
 https://issues.fast-downward.org/issue1027

== Changes in Fast Downward 22.06.1 ==

 * Driver configurations relying on certain kinds of time limits (using the `--overall-time-limit` option or portfolios) crashed when using Python 3.10. <<BR>>
 https://issues.fast-downward.org/issue1064

 * Using post-hoc optimization constraints (`pho_constraints`) caused crashes (segmentation faults) or other undefined behavior. <<BR>>
 https://issues.fast-downward.org/issue1061