3 Commits

Author	SHA1	Message	Date
Patrick Lühne	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
Patrick Lühne	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
Patrick Lühne	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