Anonymous user
Factorial: Difference between revisions
refactored MiniZinc code
(added MiniZinc) |
(refactored MiniZinc code) |
||
Line 5,832:
let {
array[0..n] of var int: factorial;
constraint forall(a in 0..n)(
factorial[a] == if (a == 0) then
1
else
a*factorial[a-1]
endif
)} in factorial[n];
var int: fac = factorial(6);
|