finished 1-3

[master.git] / ar / assignments / src / a1.bash

i=1
while [ $(sed "s/<REP>/$i/g" a1.smt | yices-smt) = "sat" ]; do
        i=$((i+1))
done
sed "s/<REP>/$((i-1))/g" a1.smt | yices-smt -m