ctpelok77/cerberus repository overview

docker run --rm -v "$(pwd)":/work cerberus python3 /workspace/cerberus/fast-downward.py --plan-file /work/sas_plan --transform-task preprocess --alias seq-agl-cerberus2018 /work/domain.pddl /work/problem.pddl

docker run --rm -v "$(pwd)":/work cerberus python3 /workspace/cerberus/fast-downward.py --plan-file /work/sas_plan --transform-task preprocess --alias seq-sat-cerberus2018 /work/domain.pddl /work/problem.pddl