repositories / master.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
ar finished
[master.git] / ar / assignments / src / a3.bash
1 i=1
2 while [ $(python3 a3.py $i | yices-smt) = "unsat" ]; do
3 i=$((i+1))
4 done
5 python3 a3.py $i | yices-smt -m
Miscellaneous master program files