MiniSearch - A meta-search language for MiniZinc

MiniSearch is a meta-search language that extends MiniZinc with support for (heuristic) meta-searches, such as Large Neighbourhood Search (LNS), using any FlatZinc solver. Other meta-searches include lexicographic branch-and-bound, And/Or search, diverse solution search and interactive search. Have look at our paper on MiniSearch:

MiniSearch - a solver-independent meta-search language for MiniZinc
Andrea Rendl, Tias Guns, Peter J. Stuckey and Guido Tack
CP-2015: 376-392, [paper pre-print], [BibTex]

License

MiniSearch is distributed under the Mozilla Public License version 2.0. It is based on the MiniZinc 2.1beta toolkit and provides support for any FlatZinc solver.

Latest version

The latest version of the MiniSearch is 0.1.0b1, released on 28 August 2015.

Download and Installation

The most recent source code is available on github, on the 'feature/minisearch' branch of libminizinc. To get the source code, use:

git clone -b feature/minisearch https://github.com/MiniZinc/libminizinc.git

To use MiniSearch, you will need to have a FlatZinc solver installed on your system. Here you can find out more about available FlatZinc solvers.

Documentation

For details and examples of MiniSearch have a look at the online documentation.