unified code style ar

[master.git] / ar / assignment1 / src / a2.py

diff --git a/ar/assignment1/src/a2.py b/ar/assignment1/src/a2.py
index 85473a3..529f6b8 100644 (file)
--- a/ar/assignment1/src/a2.py
+++ b/ar/assignment1/src/a2.py
@@ -5,21 +5,20 @@ mx = 29
 my = 22
 pd = 17
 
-# Print preamble
-print("(benchmark a4.smt")
-print(":logic QF_UFLIA")
 
-# Print variables
-print(":extrafuns (")
+# Print variables and preamble
+print('(benchmark a4.smt')
+print(':logic QF_UFLIA')
+print(':extrafuns (')
 for i, (w, h) in enumerate(pc+rc, 1):
-    print("(c{}x Int)".format(i), end=' ')
-    print("(c{}y Int)".format(i), end=' ')
-    print("(c{}w Int)".format(i), end=' ')
-    print("(c{}h Int)".format(i))
-print(")")
+    print('(c{}x Int)'.format(i), end=' ')
+    print('(c{}y Int)'.format(i), end=' ')
+    print('(c{}w Int)'.format(i), end=' ')
+    print('(c{}h Int)'.format(i))
+print(')')
 
-print(":formula")
-print("(and")
+print(':formula')
+print('(and')
 
 # Print the PC and RC subformulas
 for i, (w, h) in enumerate(pc+rc, 1):
@@ -63,4 +62,4 @@ for i, _ in enumerate(rc, 1+len(pc)):
     print(')')
 
 # Close the and,benchmark parenthesis
-print("))")
+print('))')