Commit 81c1d8ee authored by David Speck's avatar David Speck

Merge branch 'master' of gkigit.informatik.uni-freiburg.de:dspeck/symple

parents 697a315c d1f38386
...@@ -30,10 +30,17 @@ Symple is callable with several configurations. ...@@ -30,10 +30,17 @@ Symple is callable with several configurations.
Starting Symple with defaul configurations (bidirectional search, 100k node Starting Symple with defaul configurations (bidirectional search, 100k node
limit per transition relation): limit per transition relation):
```sh ```sh
$ ./plan <domain> <problem> <plan-output-file> $ ./plan <domain.pddl> <problem.pddl> <plan-output-file>
``` ```
### 2.2 Predefined Configurations ### 2.2 Defaul Configuration (SDAC)
Starting Symple with defaul configurations (bidirectional search, 100k node
limit per transition relation):
```sh
$ ./plan-sdac <problem.sas> <plan-output-file>
```
### 2.3 Predefined Configurations
Starting Symple with predefinied configurations: Starting Symple with predefinied configurations:
```sh ```sh
$ .src/plan-ipc <planner> <domain> <problem> <plan-output-file> $ .src/plan-ipc <planner> <domain> <problem> <plan-output-file>
...@@ -46,7 +53,7 @@ the node limit of the transition relations. ...@@ -46,7 +53,7 @@ the node limit of the transition relations.
+ **Progression**: symplePro, symplePro0, symplePro10000, symplePro25000, symplePro50000, symplePro100000, symplePro200000 + **Progression**: symplePro, symplePro0, symplePro10000, symplePro25000, symplePro50000, symplePro100000, symplePro200000
+ **Regression**: sympleReg, sympleReg0, sympleReg10000, sympleReg25000, sympleReg50000, sympleReg100000, sympleReg200000 + **Regression**: sympleReg, sympleReg0, sympleReg10000, sympleReg25000, sympleReg50000, sympleReg100000, sympleReg200000
### 2.3 Userdefined Configurations ### 2.4 Userdefined Configurations
In general, it is possible to define new configurations for Symple. The easiest In general, it is possible to define new configurations for Symple. The easiest
way is to insert a new predined configuration to the [downward](src/search/downward) file. way is to insert a new predined configuration to the [downward](src/search/downward) file.
For more information, please visit the [Fast Downward](http://www.fast-downward.org/) For more information, please visit the [Fast Downward](http://www.fast-downward.org/)
...@@ -54,4 +61,4 @@ website. ...@@ -54,4 +61,4 @@ website.
## 3 Benchmarks ## 3 Benchmarks
+ [Here](https://bitbucket.org/planning-researchers/classical-domains), you can find a benchmark set containing of former IPC domains. + [Here](https://bitbucket.org/planning-researchers/classical-domains), you can find a benchmark set containing of former IPC domains.
+ [Here](https://gkigit.informatik.uni-freiburg.de/dspeck/SDAC-Benchmarks), you can find a benchmark set containing of domains with state-dependent action costs. + [Here](https://gkigit.informatik.uni-freiburg.de/dspeck/SDAC-Benchmarks), you can find a benchmark set containing of domains with state-dependent action costs. Note that each domain consists of a "trans_sas" and "sas" folder. Symple is compatible with the files in the "sas" folder.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment