cleaned up old directory

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

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