RosettaCodeData/Task/Hello-world-Text/MiniZinc/hello-world-text.minizinc

output ["Hello World"];