| http://www.w3.org/ns/prov#value | - The following is an example of how solving the problem might look. # A nave model of the magic square problem with square size n. class MagicSquare < Gecode::Model # n is the size of the magic square. def initialize(n) # This models that all elements are in 1..(n**2) and are all # distinct.
|
