runSPASS.sh revision 964d789c84935cf5a06235388a92cd421d1d739d
#!/bin/sh
for i in $*
do
echo $i
SPASS -TimeLimit=10 -DocProof -PProblem=0 -PGiven=0 $i
done