src/a1.bash

   1 i=1
   2 while [ $(sed "s/<REP>/$i/g" a1.smt | yices-smt) = "sat" ]; do
   3         echo "n(p)=$i is still sat"
   4         i=$((i+1))
   5 done
   6 echo "n(p)=$i is unsat thus maximum n(p)=$((i-1))"