#!/bin/bash
if [ $# -ne 3 ]; then
    echo "This script must be invoked with three parameters!"
    exit
fi

SOLVER=clasp
GROUNDER=gringo
OPTIONS="-t8"

MAXINT=$1
MAX_NESTING_LEVEL=$2 
OUTP="$3"
SCRIPTDIR=`dirname $0`
CLASP="${SCRIPTDIR}/${SOLVER}"
GRINGO="${SCRIPTDIR}/${GROUNDER}"


trap ":" 24 15
$GRINGO --foobar="$OUTP" | $CLASP --outf=1 -q1,1 $OPTIONS
declare -a retvals=( "${PIPESTATUS[@]}" )
test ${retvals[0]} -gt 0 && exit ${retvals[0]} || exit ${retvals[1]}

