Planning benchmarks for the extended TPLP journal version of the plasp paper

Patrick Lühne d99be12b05 Explicitly call the planner with Python ... This is to force the planner to be executed with the configuration- specified Python version and not the default one.		2017-11-21 02:24:12 +01:00
.gitignore	Add .gitignore to ignore config file	2017-11-21 00:11:01 +01:00
benchmark.py	Explicitly call the planner with Python	2017-11-21 02:24:12 +01:00
config.example.yml	Add Python to config file	2017-11-21 02:21:30 +01:00
README.md	Add benchmark runner script with example config	2017-11-19 22:55:48 +01:00