Swapna
no edit summary
07:52
+185
10:34
-135
Jayaram
12:17
-74
12:07
-29
Joseph
14:02
+802
Created page with "You can do computations on fractions in Z3 <pre> FRACTION("1 1/2").add(FRACTION("1 1/2")); FRACTION("1 1/3").subtract(FRACTION("1 1/2")); FRACTION("1 1/3").multiply(FRACTION(..."
13:44
+237