a321e412b3
Print the planner call to the log files
...
In order to inspect what the planner actually executed, this lets the
planner print the actual call so that it can be easily reproduced.
2017-11-24 14:42:27 +01:00
11e404b20a
Use --use-heuristic for proper heuristic encoding
...
Instead of specifying the heuristic encoding manually, this lets the
planner define its location. This is to make sure that an incorrect
encoding isn’t applied accidentally.
2017-11-24 14:42:27 +01:00
007f2b5978
Add configurations with --shallow
...
This adds new configurations with --shallow requested by Martin and
Javier as well as the missing configurations with the sequential
encoding.
2017-11-24 14:42:27 +01:00
7c23d23fec
Rename YAML files
...
It’s more common to give YAML files the ending .yml and not .yaml.
2017-11-24 14:42:27 +01:00
