diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index 29bb602..1494c67 100644
--- a/backend/src/langs.ts
+++ b/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: {
diff --git a/scripts/docker-install-phase3c.bash b/scripts/docker-install-phase3c.bash
index 5b7201a..7876b65 100755
--- a/scripts/docker-install-phase3c.bash
+++ b/scripts/docker-install-phase3c.bash
@@ -12,6 +12,9 @@ m4
 # MariaDB
 libtinfo5
 
+# MiniZinc
+minizinc
+
 # MIPS
 gcc-mips64-linux-gnuabi64
 qemu-user-static