Fibonacci sequence: Difference between revisions

Content added Content deleted

Inline

@@ Line 7,765: / Line 7,765: @@
   let {
     array[0..n] of var int: fibonacci;
-    constraint forall(a in 0..n)(if (a == 0 \/ a == 1) then fibonacci[a] == a else fibonacci[a] = fibonacci[a-1]+fibonacci[a-2] endif) } in fibonacci[n];
+    constraint forall(a in 0..n)(
+      fibonacci[a] = if (a == 0 \/ a == 1) then
+        a
-var int: fib1 = fibonacci(6);
+      else
+        fibonacci[a-1]+fibonacci[a-2]
+      endif
+    )
+  } in fibonacci[n];
+var int: fib = fibonacci(6);
 solve satisfy;
-output [show(fib1),"\n"];</lang>
+output [show(fib),"\n"];</lang>
 =={{header|MIPS Assembly}}==