This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
en:dydaktyka:planning:pddl [2017/07/17 10:08] 127.0.0.1 external edit |
en:dydaktyka:planning:pddl [2018/05/13 23:26] msl [5 Automated Solving of Problems Written in PDDL] |
||
|---|---|---|---|
| Line 92: | Line 92: | ||
| </WRAP> | </WRAP> | ||
| - | - Please download {{ :en:dydaktyka:planning:ff.zip |the Fast Forward solver}} (you can find more information on the solver and its results on its [[https://fai.cs.uni-saarland.de/hoffmann/ff.html|home page]]). The ''FF.zip'' archive contains a catalog with source files and a binary file compiled for Ubuntu 64 bit (it should work on the university server). If needed, the compilation requires installing [[http://dinosaur.compilertools.net/|"flex" and "bison"]] tools and executing respectively: | + | - Please clone [[ https://gitlab.com/agh-krr/pddl |repository with the Fast Forward solver]] (you can find more information on the solver and its results on its [[https://fai.cs.uni-saarland.de/hoffmann/ff.html|home page]]). The repository contains precompiled binaries for several platforms. |
| - | - ''make veryclean'' | + | - Please launch appropriate''ff'' (i.e. ''ff-win64.exe'' on Windows 64bit) to solve problems defined in previous assignments. Also the ''lab1'' folder contains files related to this class. The solver is started by the command: |
| - | - ''make'' | + | * ''./ff -o <path to file with domain> -f <path to file with problem instance>'' |
| - | - Please launch ''ff'' to solve problems defined in previous assignments. The solver is started by the command: | + | |
| - | * ''./ff -o <path to file with domain> -f <path to file with problem instance>'' | + | |
| - Please compare the efficiency of the solver with the Prolog solution from previous class (see: preliminaries) | - Please compare the efficiency of the solver with the Prolog solution from previous class (see: preliminaries) | ||
