Correct predictions are in blue. If we detect only a subset of a labelled sentence, we highlight the caught part as blue, the missing part light blue. False positives are in green and false negatives are in red.

Problem 019_Square (Magic square) — Constraint detection

An order n magic square is a n by n matrix containing the numbers $ 1 $ to $ n ^ 2 $ , with each row , column and main diagonal equal the same sum . As well as finding magic squares , we are interested in the number of a given size that exist .

Problem 019_Square (Magic square) — Detection of the decisions and objects to be modeled

An order n magic square is a n by n matrix containing the numbers $ 1 $ to $ n ^ 2 $ , with each row , column and main diagonal equal the same sum . As well as finding magic squares , we are interested in the number of a given size that exist .

Back to list