Dockerfile for creating an image for running the Metric-FF planner from https://fai.cs.uni-saarland.de/hoffmann/metric-ff.html
Primary LanguageDockerfileGNU General Public License v3.0GPL-3.0
No issues in this repository yet.