Factorial: Difference between revisions

Content added Content deleted

Inline

@@ Line 5,832: / Line 5,832: @@
   let {
     array[0..n] of var int: factorial;
-    constraint forall(a in 0..n)(if (a == 0) then factorial[a] == 1 else factorial[a] = a*factorial[a-1] endif) } in factorial[n];
+    constraint forall(a in 0..n)(
+      factorial[a] == if (a == 0) then
+      else
+        a*factorial[a-1]
+      endif
+  )} in factorial[n];
 var int: fac = factorial(6);