From 283afa1859965b57e91fc281c427b0675b044f81 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Tue, 29 Sep 2020 16:18:48 -0700
Subject: [PATCH] [#24] New language: MiniZinc

---
 backend/src/langs.ts                | 10 ++++++++++
 scripts/docker-install-phase3c.bash |  3 +++
 2 files changed, 13 insertions(+)

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