ar/assignment1/src/a4.bash

   1 i=1
   2 while [ $(python3 a4.py $i | yices-smt) = "unsat" ]; do
   3         echo "N=$i is still unsat"
   4         i=$((i+1))
   5 done
   6 echo "N=$i is sat thus minimum N=$i"
   7 python3 a4.py $i | yices-smt -m