This package contains a plan solver that uses Temporal Fast Downward for solving PDDL plans.
To install Temporal Fast TFD
in a the $TFD_HOME directory:
mkdir -p $TFD_HOME
cd $TFD_HOME
wget "http://gki.informatik.uni-freiburg.de/tools/tfd/downloads/version-0.4/tfd-src-0.4.tgz"
tar xzf "tfd-src-0.4.tgz"
cd "tfd-src-0.4"
sed -e s/"-Werror"//g -i ./downward/search/Makefile
./build
- Add an
export TFD_HOME=
to ~.bashrc that points to thedownward
directory.
python2.7 $TFD_HOME/translate/translate.py [domain_name].pddl [problem_name].pddl
$TFD_HOME/preprocess/preprocess < output.sas
$TFD_HOME/search/search y Y a T 10 t 5 e r O 1 C 1 p $TFD_HOME/plan < output