quine.mzn

array[1..4] of string: s = ["array[1..4] of string: s = ", "solve satisfy", "output [join(s[4], [s[1] ++ show(s)] ++ [s[i] | i in 2..3]), s[4]]", ";\n"];
solve satisfy;
output [join(s[4], [s[1] ++ show(s)] ++ [s[i] | i in 2..3]), s[4]];