commit 24368859ae5b05e158af1f3a1a3fec7cab4ea1e8
Author: Jip J. Dekker <jip@dekker.li>
Date:   Mon Nov 21 17:41:32 2016 +0100

    Initial commit

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.