note that it continues onto the next line
TL;DR: Grid
simplifies to true, if and only if it is a 3x3 magic square.
Fifteen
is an array of length 15T
checks if an array of length A
+B
+C
is equivalent to an array of length 15, thus checking if A
+B
+C
is equal to 15And
is simplifies to X
if A
is true, else it simplifies to false
Df
checks if A
and B
are Diffrent , simplifying to X
if they areGrid
first checks if every row, column and diagonal is equal to 15, then checks if every item is unique.
I specifically used https://carbon.now.sh