Commit 3ad48d26 authored by David Speck's avatar David Speck

added plan-sdac script

parent cf4d01cb
#! /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
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment