plan-sdac-ignore-costs 292 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14
#! /bin/bash


if [ $# -lt 2 ] || [ $# -gt 2 ]; then
    echo "usage: $(basename "$0") PROBLEM PLAN_FILE" 1>&2
    exit 1
fi


BASEDIR="$(dirname "$0")"
PLANNER="symple(transition=100000,ignore_costs=true)"
SEARCH="$BASEDIR/src/search/downward"

$SEARCH --search $PLANNER --plan-file $2 < $1