finished 1-3

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

diff --git a/ar/assignments/src/a2.bash b/ar/assignments/src/a2.bash
new file mode 100644 (file)
index 0000000..5462573
--- /dev/null
+++ b/ar/assignments/src/a2.bash
@@ -0,0 +1 @@
+python3 a2.py | yices-smt -m