Dekker1/MiniZinc-Auto-Tabling-Models

Archived

This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.

Go to file

Jip J. Dekker a0f4e4094e 🐛 Fix compilation problems

2017-02-22 10:48:02 +01:00

🐛 Fix compilation problems

2017-02-22 10:48:02 +01:00

Update presolve annotation

2017-01-23 15:18:58 +01:00

🐛 Fix compilation problems

2017-02-22 10:48:02 +01:00

Update presolve annotation

2017-01-23 15:18:58 +01:00

README.md

Add brief instructions to README.md

2016-11-21 18:03:10 +01:00

README.md

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 of the compiler can be used.