[#24] New language: MiniZinc

backend/src/langs.ts

@@ -2155,6 +2155,16 @@ all:
     compile: "pandoc main.txt -f mediawiki -o main.html",
     run: "prettier --no-config main.html",
     template: `Hello, world!
+`,
+  },
+  minizinc: {
+    aliases: ["mzn"],
+    name: "MiniZinc",
+    main: "main.mzn",
+    run: "minizinc --solver Gecode main.mzn",
+    template: `solve satisfy;
+
+output ["Hello, world!\\n"];
 `,
   },
   mips: {

scripts/docker-install-phase3c.bash

@@ -12,6 +12,9 @@ m4
 # MariaDB
 libtinfo5
 
+# MiniZinc
+minizinc
+
 # MIPS
 gcc-mips64-linux-gnuabi64
 qemu-user-static