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 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.
The latest version of the MiniSearch is 0.1.0b1, released on 28 August 2015.
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.
For details and examples of MiniSearch have a look at the online documentation.