From 24368859ae5b05e158af1f3a1a3fec7cab4ea1e8 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.li>
Date: Mon, 21 Nov 2016 17:41:32 +0100
Subject: [PATCH] Initial commit

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..0a0ac0a
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# MiniZinc-Auto-Tabling-Models
+Models using an intrinsic autotabulation mechanism in MiniZinc.