plan-sdac 274 Bytes
Newer Older
David Speck's avatar
David Speck committed
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)"
SEARCH="$BASEDIR/src/search/downward"

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