diff --git a/README.md b/README.md index 0a0ac0a..8621d9c 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,15 @@ -# MiniZinc-Auto-Tabling-Models -Models using an intrinsic autotabulation mechanism in MiniZinc. +# MiniZinc Auto-Tabling Models + +This repository contains models that improved by intrinsic auto-tabling with the +MiniZinc compiler. The models accompany a paper send in to CPAIOR 2017. + +### Repository Structure + +Each folder contains a MinZinc model. The data files for this model are supplied +in a sub-directory called `instances/`. + +### Compiling the models + +The auto-tabling intrinsic is currently not part of the MiniZinc compiler. To +use this intrinsic [this fork](https://github.com/jjdekker/libminizinc) of the +compiler can be used.