finished 1-3

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

diff --git a/ar/assignments/src/a4.bash b/ar/assignments/src/a4.bash
new file mode 100644 (file)
index 0000000..7a5211d
--- /dev/null
+++ b/ar/assignments/src/a4.bash
@@ -0,0 +1,5 @@
+i=1
+while [ $(python3 a4.py $i | yices-smt) = "unsat" ]; do
+       i=$((i+1))
+done
+python3 a3.py $((i-1)) | yices-smt -m