HTab-1.5.4: examples/rununsat.sh

#!/bin/bash

HTABPATH="../dist/build/htab/htab"    # path to HTab
UNSATPATH="unsat"            # directory where examples are

for file in `ls ${UNSATPATH}/*.frm`;
do echo $file;${HTABPATH} -f $file $1 $2 $3 $4;
done