hylotab-1.2.0: examples/rununsat.sh

#!/bin/bash

BINPATH="../dist/build/hylotab/hylotab"
FORMPATH="unsat"

for file in `ls ${FORMPATH}/*`;
do echo $file;${BINPATH} -f $file $1 $2 $3 $4;
done