minizinc print variable code example Example: minizinc print output ["Hello World!"]; int: n; output [show(n)];